Theorem isRegular_iff

Modification history