Theorem half_lt_self

Modification history