-
Ralf Jung authored
improve n[] notation for nonexpansive maps: the proof of Proper is no longer required, it can be derived from nonexpansiveness
c5fc5262
improve n[] notation for nonexpansive maps: the proof of Proper is no longer required, it can be derived from nonexpansiveness