Theorem Filter.disjoint_of_disjoint_of_mem

Modification history