Nuprl Definition : mk_perm

mk_perm(f;b) ==  <f, b>



Definitions occuring in Statement :  pair: <a, b>
Definitions occuring in definition :  pair: <a, b>

Latex:
mk\_perm(f;b)  ==    <f,  b>



Date html generated: 2016_05_16-AM-07_28_28
Last ObjectModification: 2015_09_23-AM-09_51_12

Theory : perms_1


Home Index