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
Latex:
MaName == LocKnd + (Id \mtimes{} Id)
Date html generated:
2016_05_16-AM-11_01_07
Last ObjectModification:
2012_02_25-AM-10_53_54
Theory : event-ordering
Home
Index