Theorem Basis.toDual_range

Modification history