mathlib3
6876fa15 - refactor(category_theory/shift): improve automation (#18670)

Commit

2 years ago

refactor(category_theory/shift): improve automation (#18670)

Author

joelriou

joelriou

Parents

Loading