Theorem IsMinOn.isLocalMin

Modification history