Theorem Grp_Class.mulRight_one

Modification history