Abstract:We present an elementary proof (purely in equational logic) that distributive groupoids are symmetric-by-medial.
Keywords: distributive groupoids, automated reasoning, Prover9 AMS Subject Classification: 20N02, 03B35, 68T15