Description: Degree of a homogeneous polynomial raised to a power. General version of deg1pw . (Contributed by SN, 26-Jul-2024)
Ref | Expression | ||
---|---|---|---|
Hypotheses | mhppwdeg.h | |
|
mhppwdeg.p | |
||
mhppwdeg.t | |
||
mhppwdeg.e | |
||
mhppwdeg.i | |
||
mhppwdeg.r | |
||
mhppwdeg.m | |
||
mhppwdeg.n | |
||
mhppwdeg.x | |
||
Assertion | mhppwdeg | |