Def basis.of_dim_eq_zero'

Modification history