Summary
- Merged
- Some facts about factorial and binomial coefficients
The file was modified | src/HOL/Library/Discrete.thy (diff) |
The file was modified | src/HOL/Number_Theory/Primes.thy (diff) |
The file was modified | src/HOL/Transcendental.thy (diff) |
The file was modified | src/HOL/Library/Discrete.thy (diff) |
The file was modified | src/HOL/Number_Theory/Primes.thy (diff) |
The file was modified | src/HOL/Transcendental.thy (diff) |