Constant distance to the cone point makes the local frame orthonormal, in an apartment of the atlas

Initializing...

Constant distance to the cone point makes the local frame orthonormal, in an apartment of the atlas · Prove2Me