Nuprl Definition : MaName
MaName == LocKnd + (Id × Id)
Definitions occuring in Statement :
LocKnd: LocKnd,
Id: Id,
product: x:A × B[x],
union: left + right
FDL editor aliases :
MaName
MaName == LocKnd + (Id \mtimes{} Id)
Date html generated:
2015_07_17-AM-09_14_43
Last ObjectModification:
2012_02_25-AM-10_53_54
Home
Index