Theorem stereographic'_symm_apply

Modification history