Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Added Mertens' first theorem to Bertrands_Postulate
Changeset 7909:a66120364b5f by manuel eberl _eberlm@in.tum.de_:
Added Mertens' first theorem to Bertrands_Postulate
The file was modified metadata/metadata (diff)
The file was modified thys/Bertrands_Postulate/Bertrand.thy (diff)