Def SimpleGraph.Subgraph.topEquiv

Modification history

2025-10-09 01:02
Mathlib/Combinatorics/SimpleGraph/Subgraph.lean
chore(SimpleGraph/Subgraph): remove duplicate def and fix names (#29690) …
Deleted SimpleGraph.Subgraph.topEquivView on Github →
2023-02-27 10:46
Mathlib/Combinatorics/SimpleGraph/Subgraph.lean
feat: port Combinatorics.SimpleGraph.Subgraph (#2495)
Added SimpleGraph.Subgraph.topEquivView on Github →