Theorem stereoInvFun_ne_north_pole

Modification history