Theorem Basis.equivFun_self

Modification history