Description: Lemma for 4sq . (Contributed by Mario Carneiro, 16-Jul-2014) (Revised by AV, 14-Sep-2020)
Ref | Expression | ||
---|---|---|---|
Hypotheses | 4sq.1 | |
|
4sq.2 | |
||
4sq.3 | |
||
4sq.4 | |
||
4sq.5 | |
||
4sq.6 | |
||
4sq.7 | |
||
4sq.m | |
||
4sq.a | |
||
4sq.b | |
||
4sq.c | |
||
4sq.d | |
||
4sq.e | |
||
4sq.f | |
||
4sq.g | |
||
4sq.h | |
||
4sq.r | |
||
4sq.p | |
||
Assertion | 4sqlem14 | |