mathlib3
6901db60 - chore(category_theory/limits/shapes/finite_products): avoid tidy (#16261)

Commit

3 years ago

chore(category_theory/limits/shapes/finite_products): avoid tidy (#16261)

Author

gebner

gebner

Parents

Loading