Theorem SimpleGraph.isClique_map_iff_of_nontrivial

Modification history

2024-06-22 19:24
Mathlib/Combinatorics/SimpleGraph/Clique.lean
feat(SimpleGraph/Clique): maps of cliques (#12820) …
Added SimpleGraph.isClique_map_iff_of_nontrivialView on Github →