Theorem FreeMonoid.map_symm_apply_map_eq

Modification history