Summary
- Removed a condition in a lemma
The file was modified | thys/Algebraic_Numbers/Resultant.thy (diff) |
The file was modified | thys/Algebraic_Numbers/Unique_Factorization.thy (diff) |
The file was modified | thys/Algebraic_Numbers/Resultant.thy (diff) |
The file was modified | thys/Algebraic_Numbers/Unique_Factorization.thy (diff) |