mathlib3
ef8005cd - chore(category_theory/limits) : Remove instance requirement (#11041)

Commit

4 years ago

chore(category_theory/limits) : Remove instance requirement (#11041)

Author

erdOne

erdOne

Parents

Loading