Theorem IsMaxFilter.filter_inf

Modification history