A tour of the equational theories project #1 Post by johndcook » Sun, Oct 13, 2024, 12:17 AM UTC A tour of the equational theories projectterrytao.wordpress.com