Zulip Chat Archive

Stream: Is there code for X?

Topic: localization away from f


Kenny Lau (Aug 31 2020 at 19:30):

Is there localization away from f and its universal property?

Johan Commelin (Aug 31 2020 at 19:44):

@Amelia Livingston :up:

Kevin Buzzard (Aug 31 2020 at 21:54):

You mean 1/f?

Johan Commelin (Sep 01 2020 at 03:31):

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

Johan Commelin (Sep 01 2020 at 03:32):

Shouldn't be hard to add it back in.


Last updated: Dec 20 2023 at 11:08 UTC