Theorem Filter.disjoint_principal_left

Modification history