Theorem IsExtrOn.isLocalExtr

Modification history