Theorem Basis.det_unitsSMul_self

Modification history