Commit 2025-02-28 09:46 c6620c83
View on Github →feat: integral against the composition of kernels (#22363) Prove the formula for the integral against the composition of kernels. This is a simplified version of the proof for the composition-product which is in the same file. However we need to do all the proofs again because the results about composition-product require s-finiteness while composition do not.