Nuprl Definition : restrict_perm
restrict_perm(p;n) == p
Latex:
restrict\_perm(p;n) == p
Date html generated: 2016_05_16-AM-07_31_33
Last ObjectModification: 2015_09_23-AM-09_51_24
Theory :
perms_1
Home
Index