Nuprl Definition : partial
partial(T) == x,y:base-partial(T)//per-partial(T;x;y)
Definitions occuring in Statement :
per-partial: per-partial(T;x;y)
,
base-partial: base-partial(T)
,
quotient: x,y:A//B[x; y]
Definitions occuring in definition :
quotient: x,y:A//B[x; y]
,
base-partial: base-partial(T)
,
per-partial: per-partial(T;x;y)
FDL editor aliases :
partial
Latex:
partial(T) == x,y:base-partial(T)//per-partial(T;x;y)
Date html generated:
2016_05_14-AM-06_09_24
Last ObjectModification:
2015_09_22-PM-05_46_14
Theory : partial_1
Home
Index