theorem :: ROUGHS_2:26

for T being TopSpace holds Flip (IntMap T) = ClMap T