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: May 16 2021 at 05:21 UTC