Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. bij_betw lemma for prime powers
  2. Existence of a holomorphic logarithm
Changeset 67108:6b350c594ae3 by eberlm _eberlm@in.tum.de_:
bij_betw lemma for prime powers
The file was modified src/HOL/Number_Theory/Prime_Powers.thy (diff)
Changeset 67107:cef76a19125e by eberlm _eberlm@in.tum.de_:
Existence of a holomorphic logarithm
The file was modified src/HOL/Analysis/Cauchy_Integral_Theorem.thy (diff)