Theorem IsMinFilter.sub

Modification history