Blueprint of Groebner Basis Theory in LEAN
1
Definitions
2
Lemmas
Dependency graph
2 Lemmas