Commit 2025-09-13 15:32 09100dc0
View on Github →chore(Probability): rename IsFiniteKernel.bound to Kernel.bound (#29613) That definition was specific to finite kernels before #29137, but not anymore. Also the new name allows dot notation.
chore(Probability): rename IsFiniteKernel.bound to Kernel.bound (#29613) That definition was specific to finite kernels before #29137, but not anymore. Also the new name allows dot notation.