Theorem Basis.repr_self

Modification history