Theorem Grp_Class.zpow_comp

Modification history