Step * of Lemma csm-comp-structure-subset

[Gamma,Delta,tau,cA,phi:Top].  ((cA)tau (cA)tau)
BY
(Intros THEN RepUR ``csm-comp-structure`` 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