Theorem zero_lt_four'

Modification history