Nuprl Definition : cand
A c∧ B == A × B
Definitions occuring in Statement :
product: x:A × B[x]
Definitions occuring in definition :
product: x:A × B[x]
Latex:
A c\mwedge{} B == A \mtimes{} B
Date html generated:
2016_05_13-PM-03_06_28
Last ObjectModification:
2016_01_04-AM-10_25_27
Theory : core_2
Home
Index