Theorem Basis.toDual_total_left

Modification history