Theorem leftInverse_expMapCircle_arg

Modification history