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