Theorem Basis.repr_unitsSmul

Modification history