Theorem not_isLeftRegular_zero_iff

Modification history