Theorem Filter.EventuallyEq.isLocalExtr_iff

Modification history