Nuprl Lemma : assert-PZF_safe

∀C:Type. ∀phi:Form(C). ∀vs:Atom List.  (↑PZF_safe(phi;vs) ⇐⇒ PZF-safe(phi;vs))


Proof

Error : references
Latex:
\mforall{}C:Type.  \mforall{}phi:Form(C).  \mforall{}vs:Atom  List.    (\muparrow{}PZF\_safe(phi;vs)  \mLeftarrow{}{}\mRightarrow{}  PZF-safe(phi;vs))


Date html generated: 2020_05_20-AM-09_12_32
Last ObjectModification: 2018_08_29-PM-05_18_18

Theory : PZF


Home Index