Mathlib Changelog
v4
Changelog
About
Github
Theorem
SimpleGraph.isNClique_map_iff
Modification history
2024-07-28 18:21
Mathlib/Combinatorics/SimpleGraph/Clique.lean
chore(Combinatorics): drop some `DecidableEq` assumptions (#15233)
Modified
SimpleGraph.isNClique_map_iff
View on Github →
2024-06-22 19:24
Mathlib/Combinatorics/SimpleGraph/Clique.lean
feat(SimpleGraph/Clique): maps of cliques (#12820) …
Added
SimpleGraph.isNClique_map_iff
View on Github →