Theorem traceForm_dualBasis_powerBasis_eq

Modification history