Theorem Basis.equivFun_symm_single

Modification history