Theorem Basis.toDual_apply_right

Modification history