Description: Lemma for dih1dimat . (Contributed by NM, 10-Apr-2014)
Ref | Expression | ||
---|---|---|---|
Hypotheses | dih1dimat.h | |
|
dih1dimat.u | |
||
dih1dimat.i | |
||
dih1dimat.a | |
||
dih1dimat.b | |
||
dih1dimat.l | |
||
dih1dimat.c | |
||
dih1dimat.p | |
||
dih1dimat.t | |
||
dih1dimat.r | |
||
dih1dimat.e | |
||
dih1dimat.o | |
||
dih1dimat.d | |
||
dih1dimat.j | |
||
dih1dimat.v | |
||
dih1dimat.m | |
||
dih1dimat.s | |
||
dih1dimat.n | |
||
dih1dimat.z | |
||
dih1dimat.g | |
||
Assertion | dih1dimatlem | |