Theorem Algebra.discr_powerBasis_eq_prod

Modification history