Description: Lemma for poimir showing an even difference between the number of admissible faces and the number of admissible simplices. Equation (6) of Kulpa p. 548. (Contributed by Brendan Leahy, 21-Aug-2020)
Ref | Expression | ||
---|---|---|---|
Hypotheses | poimir.0 | |
|
poimirlem28.1 | |
||
poimirlem28.2 | |
||
Assertion | poimirlem26 | |