feat: tree map toArray/keysArray lemmas
#12481
+1,666
−2
Merged