Theorem CommGrp_.mkIso_hom_hom

Modification history