mathlib3
77236cd2 - refactor(category_theory): make has_zero_object a Prop (#13517)

Commit

3 years ago

refactor(category_theory): make has_zero_object a Prop (#13517)

Author

jcommelin

jcommelin

Parents

Loading