Theorem SimpleGraph.degree_eq_zero_iff_not_mem_support

Modification history

2025-05-25 12:30

Mathlib/Combinatorics/SimpleGraph/Finite.lean

chore(*): not_mem/nmem -> notMem (#25159)

Deleted SimpleGraph.degree_eq_zero_iff_not_mem_support View on Github →

2025-03-08 05:25

Mathlib/Combinatorics/SimpleGraph/Finite.lean

feat(Combinatorics/SimpleGraph): API for bipartite simple graph double-counting (#20838) …

Added SimpleGraph.degree_eq_zero_iff_not_mem_support View on Github →