Theorem Basis.coe_of_repr

Modification history