Theorem Grp_Class.comp_zpow

Modification history