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

EtienneC30 wants to merge 1 commit into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

EtienneC30:doc_haslawEtienneC30/mathlib4:doc_haslawCopy head branch name to clipboard