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