Theorem Hypergraph.IsTrivial.not_mem_edgeSet

Modification history

2026-09-29 11:08
Mathlib/Combinatorics/Hypergraph/Basic.lean
chore: rename remaining `not_mem` declarations to `notMem` (#44296) …
Deleted Hypergraph.IsTrivial.not_mem_edgeSetView on Github →
2026-06-12 00:00
Mathlib/Combinatorics/Hypergraph/Basic.lean
feat(Combinatorics): define undirected hypergraphs (#28613) …
Added Hypergraph.IsTrivial.not_mem_edgeSetView on Github →