Mechanized reasoning in Homological Algebra | Publicación