[Merged by Bors] - feat(Tactic/ComputeAsymptotics/Multiseries): non-primitive corecursion for Seq: FriendlyOperation API#35072

vasnesterov wants to merge 16 commits intoleanprover-community:masterleanprover-community/mathlib4:masterfrom

vasnesterov:compute_asymptotics_corecursion_2vasnesterov/mathlib4:compute_asymptotics_corecursion_2Copy head branch name to clipboard