Summary
- Polynomial algebra cleanup
The file was modified | thys/Echelon_Form/Rings2.thy (diff) |
The file was modified | thys/Jordan_Normal_Form/Determinant_Impl.thy (diff) |
The file was modified | thys/Sturm_Sequences/Lib/Misc_Polynomial.thy (diff) |
The file was modified | thys/Sturm_Tarski/PolyMisc.thy (diff) |
The file was modified | thys/Sturm_Tarski/ROOT (diff) |