Description: The S. integral splits under an almost disjoint union. (Contributed by Mario Carneiro, 11-Aug-2014)
Ref | Expression | ||
---|---|---|---|
Hypotheses | itgsplit.i | |
|
itgsplit.u | |
||
itgsplit.c | |
||
itgsplit.a | |
||
itgsplit.b | |
||
Assertion | itgsplit | |