Theorem Grp_.mkIso_inv_hom

Modification history