Theorem IsMaxOn.isLocalMax

Modification history