Tag unification - This is page 10 - GeneraCodice
What's an elegant way to unify X,Y with (1,2), (1,-2), (-1,2), (-1,-2), (2,1), (2,-1) , (-2,1), (-2,-1)?
https://www.generacodice.com/en/articolo/386257/what-s-an-elegant-way-to-unify-x-y-with-1-2-1-2-1-2-1-2-2-1-2-1-2-1-2-1
Results found: 109