Nuprl Definition : aa_lt_leaf
aa_lt_leaf() == inl 
Definitions occuring in Statement :
it: ,
inl: inl x
FDL editor aliases :
aa_lt_leaf
aa\_lt\_leaf() == inl \mcdot{}
Date html generated:
2013_03_20-AM-10_57_35
Last ObjectModification:
2012_11_27-AM-10_32_20
Home
Index