Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-10-16 14:07
a8185327
View on Github →
feat(Kernel):
κ.comap g = κ ∘ g
(
#17823
) From GibbsMeasure
Estimated changes
Modified
Mathlib/Probability/Kernel/Composition.lean
added
theorem
ProbabilityTheory.Kernel.coe_comap