mathlib3

31d190d7 - feat(category/limits/shapes/zero): lemmas about is_isomorphic 0