mathlib
d902c222 - chore(category/abelian/derived): shorten proof (#12847)

Commit

3 years ago

chore(category/abelian/derived): shorten proof (#12847)

Author

jjaassoonn

jjaassoonn

Parents

Loading