Theorem Commute.isRegular_iff

Modification history