Theorem Grp_Class.div_comp

Modification history