Theorem Basis.repr_eq_iff'

Modification history