Skip to content

doc(Probability/HasLaw): mention MeasurePreserving in the docstring#39608

Open
EtienneC30 wants to merge 1 commit into
leanprover-community:masterfrom
EtienneC30:doc_haslaw
Open

doc(Probability/HasLaw): mention MeasurePreserving in the docstring#39608
EtienneC30 wants to merge 1 commit into
leanprover-community:masterfrom
EtienneC30:doc_haslaw

doc(Probability/HasLaw): mention `MeasurePreserving` in the docstring

1b8f449
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
Add topic label
succeeded May 20, 2026 in 1m 13s