Commit 2024-11-03 18:36 7e693ebe
View on Github →feat(Order/Interval/Finset/Defs): transfer LocallyFiniteOrder (#18479) across OrderIsoClass also, add lemma to work around absence of EquivLike.symm
feat(Order/Interval/Finset/Defs): transfer LocallyFiniteOrder (#18479) across OrderIsoClass also, add lemma to work around absence of EquivLike.symm