mathlib
15e02bcd - feat(probability/kernel/composition): add a notation for the product of kernels (#18918)

Commit
2 years ago
feat(probability/kernel/composition): add a notation for the product of kernels (#18918) Define `κ ×ₖ η = probability_theory.kernel.prod κ η`.
Author
Parents
Loading