mathlib

01b062a1 - chore(category_theory/abelian/diagram_lemmas/four): Make the diagram into a code block (#8192)

chore(category_theory/abelian/diagram_lemmas/four): Make the diagram into a code block (#8192) Currently on mathlib docs, it looks like this  Making it into a code block should mean that it will render correctly on mathlib docs