mathlib

caf83ba4 - chore(probability/kernel/basic): make the function argument of kernel.deterministic explicit (#18930)

chore(probability/kernel/basic): make the function argument of kernel.deterministic explicit (#18930) If that argument is implicit, the infoview often shows only `deterministic _`, which does not allow to see which function is used. Making it explicit fixes that problem.