Theorem Module.DualBases.coe_dualBasis

Modification history