feat(Combinatorics/SimpleGraph/Clique): add lemmas about isomorphisms and cliques#37680
Open
IvanRenison wants to merge 18 commits intoleanprover-community:masterfrom
Open
feat(Combinatorics/SimpleGraph/Clique): add lemmas about isomorphisms and cliques#37680IvanRenison wants to merge 18 commits intoleanprover-community:masterfrom
IvanRenison wants to merge 18 commits intoleanprover-community:masterfrom
Commits
Commits on Apr 4, 2026
Commits on Apr 5, 2026
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Apr 6, 2026
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Apr 21, 2026
Commits on Apr 22, 2026
- committed