hasRealAnalyticStructure

Indicates that an object (such as a manifold or space) is equipped with a structure whose transition maps or defining functions are real-analytic, i.e., locally given by convergent power series in real variables.