mathlib3
6c35df0d - feat(category_theory/iso): missing lemmas (#1001)

Commit

6 years ago

feat(category_theory/iso): missing lemmas (#1001) * feat(category_theory/iso): missing lemmas * formatting * formatting * oops * one more * sleep

References

Author

kim-em

Committer

mergify[bot]

Parents