Theorem SimpleGraph.coe_neighborFinset

Modification history

2026-01-24 00:25
Mathlib/Combinatorics/SimpleGraph/Finite.lean
refactor(SimpleGraph/Finite): turn `edgeFinset` into a `def` (#28821) …
Added SimpleGraph.coe_neighborFinsetView on Github →