Theorem Basis.det_isUnitSMul

Modification history