Theorem IsExtrOn.localize

Modification history