Nuprl Definition : record-select
r.x == r x
Definitions occuring in Statement :
apply: f a
Definitions occuring in definition :
apply: f a
FDL editor aliases :
record-select
Latex:
r.x == r x
Date html generated:
2016_05_15-PM-06_40_00
Last ObjectModification:
2015_09_23-AM-08_04_58
Theory : general
Home
Index