Theorem Algebra.Generators.Hom.toExtensionHom_toAlgHom_apply

Modification history