Theorem SimpleGraph.induce_eq_top

Modification history

2026-05-31 19:36
Mathlib/Combinatorics/SimpleGraph/Clique.lean
feat(Combinatorics/SimpleGraph/Clique): intersection and union of cliques (#35619) …
Added SimpleGraph.induce_eq_topView on Github →