Theorem FreeMonoid.map_apply_map_symm_eq

Modification history