Theorem Probability.cauchyPDFReal_def'

Modification history

2026-03-06 16:20

Mathlib/Probability/Distributions/Cauchy.lean

chore(Probability): fix typo in namespace (#36253)

Deleted Probability.cauchyPDFReal_def'View on Github →

2026-02-16 09:07

Mathlib/Probability/Distributions/Cauchy.lean

feat(Probability): Add Cauchy distribution (#33860)

Added Probability.cauchyPDFReal_def'View on Github →