Nuprl Definition : one_ideal
(1r) == λu.True
Definitions occuring in Statement :
true: True
,
lambda: λx.A[x]
Definitions occuring in definition :
lambda: λx.A[x]
,
true: True
Latex:
(1r) == \mlambda{}u.True
Date html generated:
2016_05_15-PM-00_23_02
Last ObjectModification:
2015_09_23-AM-06_25_50
Theory : rings_1
Home
Index