mathlib3
62e7d353 - feat(category_theory/limits): uniqueness of preadditive structures (#12342)

Commit

3 years ago

feat(category_theory/limits): uniqueness of preadditive structures (#12342)

Author

TwoFX

TwoFX

Parents

Loading