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.
feat: exactness of short complexes (#7052)
This PR introduces the definition of a proposition S.Exact
when S
is a short complex.