Theorem IsLocalExtr.comp_continuous

Modification history