Commit 2026-01-19 23:06 d0871e12

feat(TangentCone/Pi): drop an unneeded Finite assumption (#34124) Also change some arguments from explicit to implicit. I have no specific reasons for this generalization. I've noticed that we can do this while working on generalization to TVS.