Theorem Filter.EventuallyLe.isLocalMaxOn

Modification history