Specification remtau-cont

[Imprint][Data Privacy Statement][E-Mail]

Back to main index. View the specification. View theorem base summary, View theorem base listing, the used properties by spec, the dependency list, the symbol table,

enrich
   remtau, 
   contfun-lim
with
   variables 
       α : Stream('a);
       β : Stream('e);
       al : List('a);
       el : List('e);
       a : 'a;
       e : 'e;
       af : Nat → 'a;
       ef : Nat → 'e;
       m : Nat;
       n : Nat;
       oe : Option('e);
       ext : 'a → Option('e);
   
   
   theorems 
      remtau-cont: cont(ext !);
      
      remtau-pbd: pbd(ext !);
      
      remtau-mon: mon(ext !);
   
   
end enrich