mathlib

6aecd05a - sketch second smooth manifold with corners instance