Theorem not_isLeftRegular_zero

Modification history