Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more uniform div/mod relations
Changeset 64635:255741c5f862 by haftmann:
more uniform div/mod relations
The file was modified src/HOL/Divides.thy (diff)
The file was modified src/HOL/Library/Polynomial.thy (diff)