Nuprl Lemma : FOAssignment_wf
∀[Dom:Type]. (FOAssignment(Dom) ∈ Type)
Proof
Definitions occuring in Statement :
FOAssignment: FOAssignment(Dom),
uall: ∀[x:A]. B[x],
member: t ∈ T,
universe: Type
\mforall{}[Dom:Type]. (FOAssignment(Dom) \mmember{} Type)
Date html generated:
2015_07_17-AM-07_53_07
Last ObjectModification:
2015_01_27-AM-10_07_10
Home
Index