Theorem Basis.repr_symm_single

Modification history