Theorem stereoToFun_apply

Modification history