Theorem Algebra.discr_powerBasis_eq_prod''

Modification history