mathlib3
884dde3b - feat(category_theory): (co)products and (co)separators (#14880)

Commit

3 years ago

feat(category_theory): (co)products and (co)separators (#14880)

Author

TwoFX

TwoFX

Parents

Loading