Session Zeta_3_Irrational
View
theory dependencies
View
document
View
outline
Theories
Polynomial_Interpolation.Ring_Hom
Polynomial_Interpolation.Missing_Unsorted
Polynomial_Interpolation.Missing_Polynomial
Polynomial_Interpolation.Ring_Hom_Poly
E_Transcendental.E_Transcendental
Prime_Distribution_Elementary.Prime_Distribution_Elementary_Library
Prime_Distribution_Elementary.More_Dirichlet_Misc
Prime_Distribution_Elementary.Elementary_Prime_Bounds
Prime_Distribution_Elementary.Shapiro_Tauberian
Prime_Distribution_Elementary.Partial_Zeta_Bounds
Prime_Distribution_Elementary.Moebius_Mu_Sum
Prime_Distribution_Elementary.Lcm_Nat_Upto
Prime_Distribution_Elementary.Primes_Omega
Prime_Distribution_Elementary.Primorial
Prime_Distribution_Elementary.PNT_Consequences
Zeta_3_Irrational