Description: Lemma 2 for nb3grpr . (Contributed by Alexander van der Vekens, 17-Oct-2017) (Revised by AV, 28-Oct-2020) (Proof shortened by AV, 13-Feb-2022)
Ref | Expression | ||
---|---|---|---|
Hypotheses | nb3grpr.v | |
|
nb3grpr.e | |
||
nb3grpr.g | |
||
nb3grpr.t | |
||
nb3grpr.s | |
||
nb3grpr.n | |
||
Assertion | nb3grprlem2 | |