Nuprl Definition : IdLnk
IdLnk == Id × Id × Id
Definitions occuring in Statement :
Id: Id,
product: x:A × B[x]
FDL editor aliases :
IdLnk
IdLnk == Id \mtimes{} Id \mtimes{} Id
Date html generated:
2015_07_17-AM-09_10_48
Last ObjectModification:
2012_02_25-AM-10_52_26
Home
Index