Theorem Grp_.mulRight_one

Modification history