Stream: Is there code for X?

Topic: locale, quotient_type

view this post on Zulip Notification Bot (Dec 29 2022 at 19:43):

A message was moved here from #Is there code for X? > Any two complete ordered fields are isomorphic by Jelena Markovic.

view this post on Zulip Manuel Eberl (Jan 04 2023 at 13:22):

Doing a typedef inside a locale context is not possible, no. There are some tricks like local_typedef that can mimic that sort of thing though, but I don't really know much about that.

Last updated: Dec 07 2023 at 12:30 UTC