Commit 2022-05-17 15:34 e2eea550

View on Github →

feat(algebra/homology): short exact sequences (#14009) Migrating from LTE. (This is all Johan and Andrew's work, I think, I just tidied up some.) Please feel free to push changes directly without consulting me. :-)

Estimated changes

added structure category_theory.split
added structure category_theory.splitting