Theorem monotone_lt

Modification history