Theorem IsLocalMax.comp_continuous

Modification history