Nth

Statistics

Metric	Count
Definitions	0
Theorems `nth_prime_four_eq_eleven`, `nth_prime_one_eq_three`, `nth_prime_three_eq_seven`, `nth_prime_two_eq_five`, `nth_prime_zero_eq_two`	5
Total	5

Name	Kind	Assumes	Proves	Validates	Depends On
`nth_prime_four_eq_eleven` 📖	mathematical	—	`nth` `Prime`	—	`nth_count` `prime_eleven`
`nth_prime_one_eq_three` 📖	mathematical	—	`nth` `Prime`	—	`nth_count` `prime_three`
`nth_prime_three_eq_seven` 📖	mathematical	—	`nth` `Prime`	—	`nth_count` `prime_seven`
`nth_prime_two_eq_five` 📖	mathematical	—	`nth` `Prime`	—	`nth_count` `prime_five`
`nth_prime_zero_eq_two` 📖	mathematical	—	`nth` `Prime`	—	`nth_count` `prime_two`

---