Theorem Basis.repr_symm_single_one

Modification history