Theorem FreeMonoid.hom_eq

Modification history