mathlib3
aa55f8b5 - feat(category_theory/eq_to_iso): missing simp lemma (#2454)

Commit

5 years ago

feat(category_theory/eq_to_iso): missing simp lemma (#2454) A missing simp lemma. Co-authored-by: Scott Morrison <scott.morrison@gmail.com>

References

Author

kim-em

Parents