Commit 2024-05-05 02:19 0db055da
View on Github →style(test/polyrith): adapt to mathlib4 style (#12091) Adapt indentation to mathlib4 conventions. Found when clearing out old branches.
style(test/polyrith): adapt to mathlib4 style (#12091) Adapt indentation to mathlib4 conventions. Found when clearing out old branches.