Theorem IsLocalMinOn.isLocalMin

Modification history