T terrytao.wordpress.com Mathematics Distillation Challenge – Equational Theories 110 points picafrost 7 months ago 5 comments