Description: Lemma for hdmapadd . (Contributed by NM, 26-May-2015)
Ref | Expression | ||
---|---|---|---|
Hypotheses | hdmap11.h | |
|
hdmap11.u | |
||
hdmap11.v | |
||
hdmap11.p | |
||
hdmap11.c | |
||
hdmap11.a | |
||
hdmap11.s | |
||
hdmap11.k | |
||
hdmap11.x | |
||
hdmap11.y | |
||
hdmap11.e | |
||
hdmap11.o | |
||
hdmap11.n | |
||
hdmap11.d | |
||
hdmap11.l | |
||
hdmap11.m | |
||
hdmap11.j | |
||
hdmap11.i | |
||
Assertion | hdmap11lem2 | |