Theorem Basis.ofEquivFun_equivFun

Modification history