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