Skip to content

feat(Analysis/SpecificLimits/Normed): the sum ∑' n, n ^ k * r ^ n via Stirling numbers#41498

Open
pepamontero wants to merge 24 commits into
leanprover-community:masterfrom
pepamontero:SpecificLimits-LogosWS
Open

feat(Analysis/SpecificLimits/Normed): the sum ∑' n, n ^ k * r ^ n via Stirling numbers#41498
pepamontero wants to merge 24 commits into
leanprover-community:masterfrom
pepamontero:SpecificLimits-LogosWS