Theorem Filter.EventuallyLE.isLocalMin

Modification history