Commit 2023-04-10 13:16 5558d43c
View on Github →chore: update SHA for mathlib#18268, #18771, RelIso/Basic (#3362)
algebra.group.ulift
: this is a change that was already backported in leanprover-community/mathlib#18268 to match mathlib4, only the SHA needs to be updated.set_theory.cardinal.basic
: the changes from leanprover-community/mathlib#18771 were already forward-ported in #3343, but the sha was not updated. Here I've also inlined allby
s and generally tidied up the formatting.order.rel_iso.basic
(leanprover-community/mathlib#18699, leanprover-community/mathlib#18758) is now fully forward-ported too.