Summary
- merge
- Minor tuning
The file was modified | thys/Subresultants/Subresultant.thy (diff) |
The file was modified | thys/Subresultants/Subresultant_Gcd.thy (diff) |
The file was modified | thys/Subresultants/Subresultant.thy (diff) |
The file was modified | thys/Subresultants/Subresultant_Gcd.thy (diff) |