Theorem SimpleGraph.Subgraph.IsInduced.top

Modification history

2025-03-17 00:33
Mathlib/Combinatorics/SimpleGraph/Subgraph.lean
chore: use `⦃⦄` binders in `Subgraph.IsInduced` (#22872) …
Modified SimpleGraph.Subgraph.IsInduced.topView on Github →
2024-10-02 17:17
Mathlib/Combinatorics/SimpleGraph/Subgraph.lean
feat(Subgraph): API lemmas (#17332) …
Added SimpleGraph.Subgraph.IsInduced.topView on Github →