Theorem Basis.equivFun_ofEquivFun

Modification history