Theorem IsLocalMaxOn.isLocalMax

Modification history