Theorem isMinFilter_const

Modification history