Theorem IsMaxFilter.min

Modification history