Closed semorrison closed 1 month ago
Reverts leanprover-community/batteries#835
This left Mathlib broken and I couldn't work out how to fix it!
Reverts leanprover-community/batteries#835
This left Mathlib broken and I couldn't work out how to fix it!