Commit 2025-11-19 18:07 108169df
View on Github →chore: clean up FiveWheelLike (#31813) Restores lemmas in Mathlib.Combinatorics.SimpleGraph.FiveWheelLike that had been commented out during nightly testing, but which now build again (unmodified).
chore: clean up FiveWheelLike (#31813) Restores lemmas in Mathlib.Combinatorics.SimpleGraph.FiveWheelLike that had been commented out during nightly testing, but which now build again (unmodified).