Zulip Chat Archive
Stream: Is there code for X?
Topic: OrderIso.uLift
Violeta Hernández (Dec 02 2024 at 09:12):
Do we have the order isomorphism between α and ULift α?
Violeta Hernández (Dec 02 2024 at 09:12):
And related to this, do we have WellFoundedLT α → WellFoundedLT (ULift α)?
Kevin Buzzard (Dec 02 2024 at 10:48):
@loogle OrderIso, ULift
loogle (Dec 02 2024 at 10:48):
:shrug: nothing found
Yury G. Kudryashov (Dec 03 2024 at 20:19):
@loogle RelIso, ULift
loogle (Dec 03 2024 at 20:19):
:shrug: nothing found
Last updated: May 02 2025 at 03:31 UTC