Theorem periodic_expMapCircle

Modification history