1 paper · 1 filter
Assia Mahboubi, Matthieu Piquerez
This paper discusses the formalization of proofs "by diagram chasing", a standard technique for proving properties in abelian categories. We discuss how the essence of diagram chas…