Nuprl Definition : id_perm
id_perm() == mk_perm(Id;Id)
Definitions occuring in Statement :
mk_perm: mk_perm(f;b)
,
identity: Id
Definitions occuring in definition :
mk_perm: mk_perm(f;b)
,
identity: Id
Latex:
id\_perm() == mk\_perm(Id;Id)
Date html generated:
2016_05_16-AM-07_28_37
Last ObjectModification:
2015_09_23-AM-09_51_13
Theory : perms_1
Home
Index