Summary
- euclidean division on gaussian numbers
- tuned proof
The file was modified | src/HOL/Examples/Gauss_Numbers.thy (diff) |
The file was modified | src/HOL/Library/Rounded_Division.thy (diff) |
The file was modified | src/HOL/Examples/Gauss_Numbers.thy (diff) |