Step * of Lemma isaxiom-bool-if-has-value

[t:Base]. isaxiom(t) ∈ 𝔹 supposing (t)↓
BY
CanonicalAuto }


Latex:


Latex:
\mforall{}[t:Base].  isaxiom(t)  \mmember{}  \mBbbB{}  supposing  (t)\mdownarrow{}


By


Latex:
CanonicalAuto




Home Index