Nuprl Definition : face-image

face-image(X;I;K;f;face) ==  let x,b,w face in <x, b, f(w)>



Definitions occuring in Statement :  cube-set-restriction: f(s) cname_deq: CnameDeq list-diff: as-bs cons: [a b] nil: [] spreadn: spread3 apply: a pair: <a, b>
Definitions occuring in definition :  spreadn: spread3 pair: <a, b> cube-set-restriction: f(s) list-diff: as-bs cname_deq: CnameDeq cons: [a b] apply: a nil: []
FDL editor aliases :  face-image

Latex:
face-image(X;I;K;f;face)  ==    let  x,b,w  =  face  in  <f  x,  b,  f(w)>



Date html generated: 2016_06_16-PM-05_51_10
Last ObjectModification: 2015_09_23-AM-09_31_35

Theory : cubical!sets


Home Index