Summary
- bij_betw lemma for prime powers
- Existence of a holomorphic logarithm
The file was modified | src/HOL/Number_Theory/Prime_Powers.thy (diff) |
The file was modified | src/HOL/Analysis/Cauchy_Integral_Theorem.thy (diff) |
The file was modified | src/HOL/Number_Theory/Prime_Powers.thy (diff) |
The file was modified | src/HOL/Analysis/Cauchy_Integral_Theorem.thy (diff) |