Theorem arg_expMapCircle

Modification history