Description: Lemma 3 for zlmodzxzldep . (Contributed by AV, 24-May-2019) (Revised by AV, 10-Jun-2019)
Ref | Expression | ||
---|---|---|---|
Hypotheses | zlmodzxzldep.z | |
|
zlmodzxzldep.a | |
||
zlmodzxzldep.b | |
||
zlmodzxzldeplem.f | |
||
Assertion | zlmodzxzldeplem3 | |