Theorem IsLocalExtrOn.isLocalExtr

Modification history