Theorem StrictMonoOn.inv

Modification history