Nuprl Definition : lattice-equiv
a ≡ b == l."E" a b
Definitions occuring in Statement :
apply: f a,
token: "$token",
record-select: r.x
Definitions occuring in definition :
apply: f a,
record-select: r.x,
token: "$token"
FDL editor aliases :
lattice-equiv
Latex:
a \mequiv{} b == l."E" a b
Date html generated:
2016_05_18-AM-11_50_46
Last ObjectModification:
2015_10_16-PM-04_05_49
Theory : lattices
Home
Index