mathlib
445e3320 - chore(category_theory/isomorphism): use @[simps] (#2181)

Commit

5 years ago

chore(category_theory/isomorphism): use @[simps] (#2181) Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>

References

Author

kim-em

Parents