Nuprl Lemma : test-nat-param
$n ~ $n
Proof
Definitions occuring in Statement :
natural_number: $n,
sqequal: s ~ t
Rules used in proof :
sqequalReflexivity
Latex:
\$n \msim{} \$n
Date html generated:
2016_05_13-PM-03_31_55
Last ObjectModification:
2015_12_26-AM-09_45_34
Theory : arithmetic
Home
Index