Theorem Basis.toDual_ker

Modification history