Def basis.is_unit_smul

Modification history