Nuprl Definition : left-indices
left-indices(g) ==  fst(fst(g))
Definitions occuring in Statement : 
pi1: fst(t)
Definitions occuring in definition : 
pi1: fst(t)
FDL editor aliases : 
left-indices
Latex:
left-indices(g)  ==    fst(fst(g))
Date html generated:
2018_05_22-PM-09_52_20
Last ObjectModification:
2018_02_14-PM-08_47_28
Theory : Numbers!and!Games
Home
Index