Theorem IsMinFilter.bicomp_mono

Modification history