Theorem ProbabilityTheory.Kernel.integral_restrict

Modification history

2024-09-19 18:27
Mathlib/Probability/Kernel/Integral.lean
chore(Probability/Kernel): split Kernel.Basic (#16931) …
Added ProbabilityTheory.Kernel.integral_restrictView on Github →