Theorem Grp_Class.inv_hom

Modification history