moved relevant theorems from theory Divides to theory Euclidean_Division
Description
Description
Details
Details
- Provenance
florian.haftmann Authored on - Parents
- rISABELLEbe91db94e526: amend jenkins ci build;
- Branches
- Unknown
- Tags
moved relevant theorems from theory Divides to theory Euclidean_Division Tags None Subscribers None |