Theorem IsExtrFilter.filter_inf

Modification history