Description: Lemma for carsgclctun . (Contributed by Thierry Arnoux, 25-May-2020)
Ref | Expression | ||
---|---|---|---|
Hypotheses | carsgval.1 | |
|
carsgval.2 | |
||
carsgsiga.1 | |
||
carsgsiga.2 | |
||
carsgsiga.3 | |
||
carsgclctunlem2.1 | |
||
carsgclctunlem2.2 | |
||
carsgclctunlem2.3 | |
||
carsgclctunlem2.4 | |
||
Assertion | carsgclctunlem2 | |