mathlib3
227b6821 - feat(category_theory): define `iso.conj` and friends (#1381)

Commit

6 years ago

feat(category_theory): define `iso.conj` and friends (#1381) * feat(category_theory): define `iso.conj` and friends * Drop 2 `@[simp]` attributes

References

Author

urkud

Committer

mergify[bot]

Parents