Blueprint of Groebner Basis Theory in LEAN

Lihong Zhi’s Team