Commit 2023-09-15 09:18 31f3bd86

View on Github →

feat: exactness of short complexes (#7052) This PR introduces the definition of a proposition S.Exact when S is a short complex.

Estimated changes