Theorem SimpleGraph.Subgraph.neighborSet_eq_of_equiv

Modification history

2025-02-16 15:58
Mathlib/Combinatorics/SimpleGraph/Subgraph.lean
chore(*): fix some Fintype/DecidableEq linter errors (#21943)
Added SimpleGraph.Subgraph.neighborSet_eq_of_equivView on Github →