Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Fixed Bertrand/E_Transcendental; big performance boost for Bertrand
Changeset 7587:2dc3c3268382 by manuel eberl _eberlm@in.tum.de_:
Fixed Bertrand/E_Transcendental; big performance boost for Bertrand
The file was modified thys/Bertrands_Postulate/Bertrand.thy (diff)
The file was modified thys/E_Transcendental/E_Transcendental.thy (diff)