Theorem IsLocalExtrOn.on_subset

Modification history