Theorem CommGrp_.mkIso_inv_hom

Modification history