Theorem Ordnode.foldr_cons_eq_toList

Modification history