Theorem PowerBasis.constr_pow_gen

Modification history