Nuprl Definition : path-at

p@t ==  p t


Definitions occuring in Statement :  apply: f a
Definitions occuring in definition :  apply: f a
FDL editor aliases :  path-at
Latex:
p@t  ==    p  t


Date html generated: 2020_05_20-PM-01_20_14
Last ObjectModification: 2018_06_29-PM-05_47_40

Theory : intuitionistic!topology


Home Index