mathlib3
29b834df - feat(category_theory, algebra/category): AddCommGroup is well-powered (#7006)

Commit

4 years ago

feat(category_theory, algebra/category): AddCommGroup is well-powered (#7006)

Author

TwoFX

TwoFX

Parents

Loading