theorem :: WAYBEL24:38

for S, T being complete Scott TopLattice holds SCMaps (S,T) = ContMaps (S,T)