Nuprl Definition : exact-eq-constraint
exact-eq-constraint(eqs;i;j) == |eqs[i][j]| = 1 ∈ ℤ
Definitions occuring in Statement :
select: L[n]
,
absval: |i|
,
natural_number: $n
,
int: ℤ
,
equal: s = t ∈ T
Definitions occuring in definition :
equal: s = t ∈ T
,
int: ℤ
,
absval: |i|
,
select: L[n]
,
natural_number: $n
FDL editor aliases :
exact-eq-constraint
Latex:
exact-eq-constraint(eqs;i;j) == |eqs[i][j]| = 1
Date html generated:
2016_05_14-AM-07_11_59
Last ObjectModification:
2015_09_22-PM-05_53_16
Theory : omega
Home
Index