Description: Lemma for knoppndv . (Contributed by Asger C. Ipsen, 15-Jun-2021) (Revised by Asger C. Ipsen, 5-Jul-2021)
Ref | Expression | ||
---|---|---|---|
Hypotheses | knoppndvlem2.n | |
|
knoppndvlem2.i | |
||
knoppndvlem2.j | |
||
knoppndvlem2.m | |
||
knoppndvlem2.1 | |
||
Assertion | knoppndvlem2 | |