Step * of Lemma interval-rev-1

No Annotations
[Gamma:j⊢]. (1-(1(𝕀)) 0(𝕀) ∈ {Gamma ⊢ _:𝕀})
BY
(Intro THEN CubicalTermEqual THEN Auto) }


Latex:


Latex:
No  Annotations
\mforall{}[Gamma:j\mvdash{}].  (1-(1(\mBbbI{}))  =  0(\mBbbI{}))


By


Latex:
(Intro  THEN  CubicalTermEqual  THEN  Auto)




Home Index