Theorem Filter.EventuallyLe.isLocalMax

Modification history