Theorem SimpleGraph.disjoint_of_disjoint_support

Modification history

2026-07-20 03:19

Mathlib/Combinatorics/SimpleGraph/Basic.lean

feat(Combinatorics/SimpleGraph/Basic): `Disjoint` for graph sets (#41795)

Added SimpleGraph.disjoint_of_disjoint_support View on Github →