Mathlib Changelog
v4
Changelog
About
Github
Commit
2025-12-05 19:18
571ff86b
View on Github →
chore(Probability): deprecate
Independence.Kernel
(
#32465
)
Estimated changes
Modified
Mathlib.lean
Created
Mathlib/Probability/Independence/Kernel.lean