Theorem SimpleGraph.IsNClique.erase_of_mem

Modification history

2025-02-15 11:19

Mathlib/Combinatorics/SimpleGraph/Clique.lean

feat(SimpleGraph/Clique): add erase_of_mem and insert_erase for n-cliques (#21258)

Added SimpleGraph.IsNClique.erase_of_mem View on Github →