Theorem Basis.toDual_eq_repr

Modification history