Nuprl Definition : eu-middle
middle(a;b;c) == e."middle" a b c
Definitions occuring in Statement :
apply: f a,
token: "$token",
record-select: r.x
Definitions occuring in definition :
token: "$token",
record-select: r.x,
apply: f a
FDL editor aliases :
eu-mid
Latex:
middle(a;b;c) == e."middle" a b c
Date html generated:
2016_10_26-AM-07_40_44
Last ObjectModification:
2016_09_20-PM-08_00_20
Theory : euclidean!geometry
Home
Index