Nuprl Lemma : correct_proof-wf
True
Proof
Definitions occuring in Statement :
true: True
Definitions unfolded in proof :
true: True,
member: t ∈ T
Rules used in proof :
sqequalSubstitution,
sqequalTransitivity,
computationStep,
sqequalReflexivity,
natural_numberEquality
Latex:
True
Date html generated:
2016_05_15-PM-03_15_07
Last ObjectModification:
2015_12_27-PM-01_02_27
Theory : general
Home
Index