Theorem zero_lt_three

Modification history