Def basis.of_equiv_fun

Modification history