Theorem Basis.toDual_eq_equivFun

Modification history