ruff
[ty] T is disjoint from ~T
#16087
Open

Loading