Zulip Chat Archive
Stream: condensed mathematics
Topic: for_mathlib/endomorphisms/Ext
Kevin Buzzard (Jun 26 2022 at 16:52):
I'm just claiming the sorry in this file. It will be some work to get rid of.
Last updated: Dec 20 2023 at 11:08 UTC
I'm just claiming the sorry in this file. It will be some work to get rid of.
Last updated: Dec 20 2023 at 11:08 UTC