Theorem CFC.monotoneOn_one_sub_one_add_inv

Modification history