Theorem Basis.equivFun_symm_apply

Modification history