mathlib3

feat(natural_isomorphism): componentwise isos are isos

#671

Merged