Theorem Group.mulLeft_bijective

Modification history