Theorem zero_lt_one'

Modification history