Nuprl Definition : meq
x ≡ y == (d x y) = r0
Definitions occuring in Statement :
req: x = y,
int-to-real: r(n),
apply: f a,
natural_number: $n
Definitions occuring in definition :
req: x = y,
apply: f a,
int-to-real: r(n),
natural_number: $n
FDL editor aliases :
meq
Latex:
x \mequiv{} y == (d x y) = r0
Date html generated:
2019_10_29-AM-10_53_35
Last ObjectModification:
2019_10_02-AM-09_35_12
Theory : reals
Home
Index