Theorem Basis.det_unitsSMul

Modification history