Theorem stereoInvFun_apply

Modification history