Nuprl Definition : free_in_prefix
free_in_prefix(pre) == G(pre) where G(chan<c>) = [chan; c] G(chan?(v)) = [chan]
Definitions occuring in Statement :
pi_prefix_ind: pi_prefix_ind,
cons: [a / b],
nil: []
FDL editor aliases :
free_in_prefix
Latex:
free\_in\_prefix(pre) == G(pre) where G(chan<c>) = [chan; c] G(chan?(v)) = [chan]
Date html generated:
2015_07_23-AM-11_34_02
Last ObjectModification:
2012_08_30-PM-01_19_57
Home
Index