Theorem Algebra.Generators.Hom.sub_one_tmul

Modification history