Nuprl Definition : coordinate_name
Cname == {2...}
Definitions occuring in Statement :
int_upper: {i...},
natural_number: $n
Definitions occuring in definition :
int_upper: {i...},
natural_number: $n
FDL editor aliases :
c-name
Latex:
Cname == \{2...\}
Date html generated:
2016_05_20-AM-09_27_52
Last ObjectModification:
2015_09_23-AM-09_29_22
Theory : cubical!sets
Home
Index