Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-03-08 06:08 74746bde

View on Github →

chore(counterexamples/canonically_ordered_comm_semiring_two_mul): golf (#12504)

Estimated changes