Theorem Filter.disjoint_principal_right

Modification history