Description: The Caratheodory measurable sets are closed under intersection. (Contributed by Thierry Arnoux, 18-May-2020)
Ref | Expression | ||
---|---|---|---|
Hypotheses | carsgval.1 | |
|
carsgval.2 | |
||
difelcarsg.1 | |
||
inelcarsg.1 | |
||
inelcarsg.2 | |
||
Assertion | inelcarsg | |