Description: Lemma for vitali . (Contributed by Mario Carneiro, 16-Jun-2014)
Ref | Expression | ||
---|---|---|---|
Hypotheses | vitali.1 | |
|
vitali.2 | |
||
vitali.3 | |
||
vitali.4 | |
||
vitali.5 | |
||
vitali.6 | |
||
vitali.7 | |
||
Assertion | vitalilem4 | |