Commit 2022-03-14 05:19 174f1da1
View on Github →refactor(set_theory/ordinal_arithmetic): Turn various results into simp lemmas (#12661) In order to do this, we had to change the direction of various equalities.
refactor(set_theory/ordinal_arithmetic): Turn various results into simp lemmas (#12661) In order to do this, we had to change the direction of various equalities.