Theorem Basis.repr_isUnitSMul

Modification history