Summary
- merge
- extracted lemmas from inner proof
The file was modified | thys/LLL_Basis_Reduction/LLL.thy (diff) |
Changeset
9056:80299699bf0a
by rene thiemann _rene.thiemann@uibk.ac.at_:
extracted lemmas from inner proof | |
The file was modified | thys/LLL_Basis_Reduction/LLL.thy (diff) |