Theorem Set.Intersecting.isUpperSet'

Modification history

2023-02-02 10:19
Mathlib/Combinatorics/SetFamily/Intersecting.lean
chore: tidy various files (#2009)
Added Set.Intersecting.isUpperSet'View on Github →