composition): composition of kernels (#17974)

Commit

2 years ago

feat(probability/kernel/composition): composition of kernels (#17974) We define the product, map, comap and composition of s-finite kernels.

Author

RemyDegenne

Parents