Theorem one_lt_div'

Modification history