Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-09-27 10:29 14727997

View on Github →

chore(order): globally replace "antimono" with "antitone" (#9400) This was done with the regex (?<=\b|_)antimono(?=\b|_)

Estimated changes