Step * of Lemma cubical-snd-at

[a,I,p:Top].  (p.2(a) snd(p(a)))
BY
PresheafMLTTInstance Obid: presheaf-snd-at⋅ }


Latex:


Latex:
\mforall{}[a,I,p:Top].    (p.2(a)  \msim{}  snd(p(a)))


By


Latex:
PresheafMLTTInstance  Obid:  presheaf-snd-at\mcdot{}




Home Index