Theorem SimpleGraph.CliqueFree.comap

Modification history

2024-01-24 02:24
Mathlib/Combinatorics/SimpleGraph/Clique.lean
feat: transfer of graph properties over maps (#9708) …
Added SimpleGraph.CliqueFree.comapView on Github →