Skip to content

refactor(Combinatorics): move Dart from SimpleGraph to HasAdj#35783

Closed
IvanRenison wants to merge 5 commits into
leanprover-community:masterfrom
IvanRenison:HasAdj.Dart
Closed

refactor(Combinatorics): move Dart from SimpleGraph to HasAdj#35783
IvanRenison wants to merge 5 commits into
leanprover-community:masterfrom
IvanRenison:HasAdj.Dart

Commits

Commits on Feb 24, 2026

Commits on Feb 25, 2026