Zulip Chat Archive
Stream: Is there code for X?
Topic: Tor
Reid Barton (May 02 2022 at 18:04):
Is there a definition of Tor in mathlib or in LTE?
Adam Topaz (May 02 2022 at 18:05):
Reid Barton (May 02 2022 at 18:05):
oh it is actually there, I just didn't see it the first time among all the Top stuff
Adam Topaz (May 02 2022 at 18:05):
It's not...
Adam Topaz (May 02 2022 at 18:05):
I thought it was.
Adam Topaz (May 02 2022 at 18:06):
But we have left derived functors, so you should be good to go
Reid Barton (May 02 2022 at 18:06):
Last updated: Dec 20 2023 at 11:08 UTC