@misc{indiciae7558dc21f9e7, title = {A lattice-ordered skew-field is totally ordered if squares are positive}, author = {Yichuan Yang}, year = {2007}, url = {https://arxiv.org/abs/math/0505365}, note = {Source identifier: math/0505365} }