Commit 2025-02-27 10:28 22780b5b
View on Github →feat: the ae filter of the composition of kernels (#22362) Provide results about the ae filter of composition of kernels by mimicking the existing code about the product-composition, but without the s-finiteness assumptions.