Commit 2025-02-15 18:00 29087ebf
View on Github →feature(Analysis/Normed/Lp/ProdLp): Component idempotents on WithLp p (α × β) (#21899)
Defines the complementary idempotents which project onto the component spaces of WithLp p (α × β) and establish their basic properties.
Originally developed as part of #20380.