Theorem Basis.repr_eq_iff

Modification history