Nuprl Definition : event_system_typename
event_system_typename() == ℕ6
Definitions occuring in Statement :
int_seg: {i..j-},
natural_number: $n
FDL editor aliases :
event_system_typename
event_system_typename
event\_system\_typename() == \mBbbN{}6
Date html generated:
2015_07_17-AM-08_36_39
Last ObjectModification:
2013_03_25-PM-01_46_00
Home
Index