Commit 2024-06-10 20:38 e86b8c56

View on Github →

chore(*): fix more deprecated dates (#13687)

Estimated changes

Modified Mathlib/Probability/Kernel/Basic.lean

Modified Mathlib/Probability/Kernel/Disintegration/CdfToKernel.lean

Modified Mathlib/Probability/Kernel/Disintegration/Integral.lean

Modified Mathlib/RingTheory/Flat/Basic.lean