Theorem Grp_.inv_hom

Modification history