Theorem SimpleGraph.cliqueFree_map_iff

Modification history

2024-07-28 18:21

Mathlib/Combinatorics/SimpleGraph/Clique.lean

chore(Combinatorics): drop some `DecidableEq` assumptions (#15233)

Modified SimpleGraph.cliqueFree_map_iff View on Github →

2024-06-22 19:24

Mathlib/Combinatorics/SimpleGraph/Clique.lean

feat(SimpleGraph/Clique): maps of cliques (#12820) …

Added SimpleGraph.cliqueFree_map_iff View on Github →