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