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 D 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