Theorem Commute.isRightRegular_iff

Modification history