Theorem Basis.isUnitSmul_apply

Modification history