1Mathematics Distillation Challenge – Equational Theories (opens in new tab)(terrytao.wordpress.com)110picafrost12d ago5