mathlib3
cefb9d43 - feat(category_theory/opposites): iso.op (#1021)

Commit

6 years ago

feat(category_theory/opposites): iso.op (#1021)

References

#1021 - feat(category_theory/opposites): iso.op

Author

rwbarton

rwbarton

Committer

mergify[bot]

mergify[bot]

Parents

Loading