Mathematics Distillation Challenge – Equational Theories 110 points by picafrost 3 days ago 5 comments story