Theorem zero_lt_two

Modification history