Theorem Module.DualBases.coeffs_lc

Modification history