mathlib3
ff59ac8f - feat(category_theory/abelian/exact): `exact g.op f.op`

Commit

4 years ago

feat(category_theory/abelian/exact): `exact g.op f.op`

Author

jjaassoonn

jjaassoonn

Parents

Loading