Theorem Basis.toDual_apply_left

Modification history