Theorem Basis.repr_total

Modification history