Nuprl Lemma : dontcare_wf
(don't care) ∈ Top
Proof
Definitions occuring in Statement :
dontcare: (don't care),
top: Top,
member: t ∈ T
Definitions unfolded in proof :
dontcare: (don't care),
top: Top,
member: t ∈ T
Rules used in proof :
sqequalSubstitution,
sqequalRule,
sqequalReflexivity,
sqequalTransitivity,
computationStep,
isect_memberEquality,
voidElimination,
voidEquality
Latex:
(don't care) \mmember{} Top
Date html generated:
2016_05_15-PM-05_30_42
Last ObjectModification:
2015_12_27-PM-02_10_47
Theory : general
Home
Index