Nuprl Definition : M-map

M-map(mnd) ==  fst(mnd)


Definitions occuring in Statement :  pi1: fst(t)
Definitions occuring in definition :  pi1: fst(t)
FDL editor aliases :  M-map
Latex:
M-map(mnd)  ==    fst(mnd)


Date html generated: 2016_05_15-PM-02_16_16
Last ObjectModification: 2015_09_23-AM-07_38_22

Theory : monads


Home Index