Posts about Binary trees RSS feed (Binary trees, en) 28-08-2024Proofs of "flatten (mirror a) = reverse (flatten a)" 26-08-2024Proofs that the mirror function of binary trees is involutive