Def SimpleGraph.Subgraph.botIso

Modification history

2025-10-09 01:02
Mathlib/Combinatorics/SimpleGraph/Subgraph.lean
chore(SimpleGraph/Subgraph): remove duplicate def and fix names (#29690) …
Added SimpleGraph.Subgraph.botIsoView on Github →