Mathlib Changelog
v4
Changelog
About
Github
Theorem
ordinaryHypergeometricSeries_eq_zero_iff
Modification history
2024-10-17 08:31
Mathlib/Analysis/SpecialFunctions/OrdinaryHypergeometric.lean
feat: define the ordinary hypergeometric function (#17455) …
Added
ordinaryHypergeometricSeries_eq_zero_iff
View on Github →