Nuprl Lemma : top_wf
Top ∈ Type
Proof
Definitions occuring in Statement :
top: Top,
member: t ∈ T,
universe: Type
Definitions unfolded in proof :
member: t ∈ T,
top: Top
Rules used in proof :
voidEquality,
isectEquality,
computationStep,
sqequalTransitivity,
sqequalReflexivity,
sqequalRule,
sqequalSubstitution
Latex:
Top \mmember{} Type
Date html generated:
2018_05_21-AM-11_59_56
Last ObjectModification:
2018_05_15-PM-04_40_33
Theory : core_2
Home
Index