Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Deprivatisation of lemmas in Polynomial_Factorial
  2. More analysis lemmas
Changeset 63722:b9c8da46443b by manuel eberl _eberlm@in.tum.de_:
Deprivatisation of lemmas in Polynomial_Factorial
The file was modified src/HOL/Library/Polynomial_Factorial.thy (diff)
Changeset 63721:492bb53c3420 by manuel eberl _eberlm@in.tum.de_:
More analysis lemmas
The file was modified src/HOL/Analysis/Complex_Transcendental.thy (diff)
The file was modified src/HOL/Analysis/Gamma_Function.thy (diff)
The file was modified src/HOL/Analysis/Harmonic_Numbers.thy (diff)
The file was modified src/HOL/Analysis/Henstock_Kurzweil_Integration.thy (diff)
The file was modified src/HOL/Limits.thy (diff)
The file was modified src/HOL/NthRoot.thy (diff)
The file was modified src/HOL/Set_Interval.thy (diff)
The file was modified src/HOL/Transcendental.thy (diff)