mathlib3

5a478f0d - doc(category_theory/natural_isomorphism): documentation and cleanup (#4120)