Theorem Basis.repr_injective

Modification history