Theorem IsMinFilter.filter_mono

Modification history