Theorem SimpleGraph.Subgraph.Adj.adj_sub'

Modification history

2025-06-02 07:15
Mathlib/Combinatorics/SimpleGraph/Subgraph.lean
chore: improve simp-set by putting hypotheses in simp normal form (#25024)
Added SimpleGraph.Subgraph.Adj.adj_sub'View on Github →