Theorem IsMaxFilter.filter_mono

Modification history