Step * of Lemma continuous'-monotone-identity

continuous'-monotone{i:l}(T.T)
BY
(RepUR ``so_apply continuous\'-monotone`` 0
   THEN Auto
   THEN All UnfoldTopAb
   THEN Auto
   THEN 0
   THEN Auto
   THEN MemTypeCDUnion ⌜0⌝⋅
   THEN Auto) }


Latex:


Latex:
continuous'-monotone\{i:l\}(T.T)


By


Latex:
(RepUR  ``so\_apply  continuous\mbackslash{}'-monotone``  0
  THEN  Auto
  THEN  All  UnfoldTopAb
  THEN  Auto
  THEN  D  0
  THEN  Auto
  THEN  MemTypeCDUnion  \mkleeneopen{}0\mkleeneclose{}\mcdot{}
  THEN  Auto)




Home Index