mathlib
99195395 - feat(category_theory): more API for isomorphisms (#14420)

Commit

3 years ago

feat(category_theory): more API for isomorphisms (#14420)

Author

TwoFX

TwoFX

Parents

Loading