Theorem Filter.EventuallyEq.isLocalMaxOn_iff

Modification history