Theorem IsLocalMin.inv

Modification history