mathlib3
e3e34fe1 - feat(category_theory/images): instance for precomposition by iso

Commit

5 years ago

feat(category_theory/images): instance for precomposition by iso

Author

kim-em

kim-em

Parents

Loading