Theorem Monotone.inv

Modification history