Zulip Chat Archive

Stream: Is there code for X?

Topic: localization away from f


view this post on Zulip Kenny Lau (Aug 31 2020 at 19:30):

Is there localization away from f and its universal property?

view this post on Zulip Johan Commelin (Aug 31 2020 at 19:44):

@Amelia Livingston :up:

view this post on Zulip Kevin Buzzard (Aug 31 2020 at 21:54):

You mean 1/f?

view this post on Zulip Johan Commelin (Sep 01 2020 at 03:31):

It seems like it got caught in the cross fires of refactorisation.

view this post on Zulip Johan Commelin (Sep 01 2020 at 03:32):

Shouldn't be hard to add it back in.


Last updated: May 16 2021 at 05:21 UTC