Theorem zero_lt_four

Modification history