mathlib3
178c09d7 - feat(natural_isomorphism): componentwise isos are isos (#671)

Commit

7 years ago

feat(natural_isomorphism): componentwise isos are isos (#671)

References

#671 - feat(natural_isomorphism): componentwise isos are isos

Author

kim-em

kim-em

Committer

rwbarton

rwbarton

Parents

Loading