Theorem stereoInvFunAux_apply

Modification history