Theorem stereographic_apply

Modification history