theorem Th92: :: SCMFSA_2:100

Data-Locations = Int-Locations \/ FinSeq-Locations