Theorem Filter.EventuallyLe.isMinFilter

Modification history