refactor(Combinatorics): move Dart from SimpleGraph to HasAdj
#35783
Annotations
2 warnings and 1 notice
|
|
|
scripts/autolabel.lean#L0
scripts/autolabel.lean: the following paths inside `Mathlib/` are not covered by any label: #[Mathlib/Geometry/Polygon, Mathlib/Geometry/Diffeology] Please modify `AutoLabel.mathlibLabels` accordingly!
|
|
|
The logs for this run have expired and are no longer available.
Loading