interpretation "identity (nstream)"
'Identity = (id).
(* Basic properties *********************************************************)
interpretation "identity (nstream)"
'Identity = (id).
(* Basic properties *********************************************************)