Theorem Algebra.Generators.Hom.toAlgHom_monomial

Modification history