Theorem stereographic_apply_neg

Modification history