Theorem ProbabilityTheory.Kernel.integral_congr_ae₂

Modification history

2024-09-19 18:27

Mathlib/Probability/Kernel/Basic.lean

chore(Probability/Kernel): split Kernel.Basic (#16931) …

Modified ProbabilityTheory.Kernel.integral_congr_ae₂ View on Github →

2024-08-12 04:09

Mathlib/Probability/Kernel/Basic.lean

feat (MeasureTheory-Probabilty): Congruence lemma for double integrals. (#15460) …

Added ProbabilityTheory.Kernel.integral_congr_ae₂ View on Github →