Summary
- Changed/added lemmas
The file was modified | thys/Groebner_Bases/General.thy (diff) |
The file was modified | thys/Polynomials/MPoly_Type_Class.thy (diff) |
The file was modified | thys/Polynomials/Power_Products.thy (diff) |
The file was modified | thys/Polynomials/Utils.thy (diff) |