mathlib
14727997 - chore(order): globally replace "antimono" with "antitone" (#9400)

Commit

4 years ago

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

Author

eric-wieser

Parents