Theorem Basis.equivFun_apply

Modification history