TY - RPRT TI - Every diassociative A-loop is Moufang AU - Michael K. Kinyon AU - Kenneth Kunen AU - J. D. Phillips PY - 2000 UR - https://arxiv.org/abs/math/0007195 ID - math/0007195 ER -