Theorem monotone_app

Modification history