Generalizing the Steiner–Lehmus theorem using the Gröbner cover | Publicación