Nuprl Definition : nerve_box_edge'
nerve_box_edge'(box; c; y) == nerve_box_edge(box;c;y)
Definitions occuring in Statement :
nerve_box_edge: nerve_box_edge(box;c;y)
Definitions occuring in definition :
nerve_box_edge: nerve_box_edge(box;c;y)
Latex:
nerve\_box\_edge'(box; c; y) == nerve\_box\_edge(box;c;y)
Date html generated:
2016_06_16-PM-07_04_04
Last ObjectModification:
2015_09_23-AM-09_33_33
Theory : cubical!sets
Home
Index