Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Bertrands_Postulated does not need to import Approximation
Changeset 7887:48a624fec78f by eberlm _eberlm@in.tum.de_:
Bertrands_Postulated does not need to import Approximation
The file was modified thys/Bertrands_Postulate/Bertrand.thy (diff)
The file was modified thys/Bertrands_Postulate/ROOT (diff)