TY - RPRT TI - A lattice-ordered skew-field is totally ordered if squares are positive AU - Yichuan Yang PY - 2007 UR - https://arxiv.org/abs/math/0505365 ID - math/0505365 ER -