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: May 02 2025 at 03:31 UTC
I'm just claiming the sorry in this file. It will be some work to get rid of.
Last updated: May 02 2025 at 03:31 UTC