Theorem Basis.coe_toDual_self

Modification history