Theorem Filter.sInter_mem

Modification history