Theorem stereographic_neg_apply

Modification history