mathlib
3e6439cd - fix(category_theory/limits/shapes/images): make class a Prop (#12119)

Commit

4 years ago

fix(category_theory/limits/shapes/images): make class a Prop (#12119)

Author

jcommelin

jcommelin

Parents

Loading