Mathlib Changelog
v4
Changelog
About
Github
Commit
2025-02-15 11:19
482c515c
View on Github →
feat(SimpleGraph/Clique): add erase_of_mem and insert_erase for n-cliques (
#21258
)
Estimated changes
Modified
Mathlib/Combinatorics/SimpleGraph/Clique.lean
added
theorem
SimpleGraph.IsNClique.erase_of_mem
deleted
theorem
SimpleGraph.IsNClique.insert