Theorem IsManifold.mk'

feat: extend smoothness category of manifolds with corners to include analytic manifolds (#19696) …