chore(measure_theory/probability_mass_function): avoid non-terminal simp in coe_le_one (#10112)
chore(measure_theory/probability_mass_function): avoid non-terminal simp in coe_le_one (#10112)





leanprover-community/mathlib,leanprover-community/mathlib