Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. notation for in_interval_real/complex, group lemmas by real and by complex
Changeset 7902:c056067e0665 by rene thiemann _rene.thiemann@uibk.ac.at_:
notation for in_interval_real/complex, group lemmas by real and by complex
The file was modified thys/Algebraic_Numbers/Complex_Algebraic_Numbers.thy (diff)
The file was modified thys/Algebraic_Numbers/Interval_Arithmetic.thy (diff)