Theorem Module.DualBases.coe_basis

Modification history