Step
*
of Lemma
csm-comp-structure-subset
∀[Gamma,Delta,tau,cA,phi:Top].  ((cA)tau ~ (cA)tau)
BY
{ (Intros THEN RepUR ``csm-comp-structure`` 0 THEN CsmUnfolding THEN Auto) }
Latex:
Latex:
\mforall{}[Gamma,Delta,tau,cA,phi:Top].    ((cA)tau  \msim{}  (cA)tau)
By
Latex:
(Intros  THEN  RepUR  ``csm-comp-structure``  0  THEN  CsmUnfolding  THEN  Auto)
Home
Index