Axiom AA1 is:
"=>" a
weak order
on H.
source
jl@crush.caltech.edu
index
horse_race