Def Pmf.uniformOfFintype

Modification history

2023-10-06 14:17

Mathlib/Probability/ProbabilityMassFunction/Uniform.lean

chore(Probability): rename `Pmf` to `PMF` (#7542) …

Deleted Pmf.uniformOfFintype View on Github →

2023-08-10 19:52

Mathlib/Probability/ProbabilityMassFunction/Uniform.lean

chore: banish `Type _` and `Sort _` (#6499) …

Modified Pmf.uniformOfFintype View on Github →

2023-06-01 15:15

Mathlib/Probability/ProbabilityMassFunction/Uniform.lean

feat: port Probability.ProbabilityMassFunction.Uniform (#4463) …

Added Pmf.uniformOfFintype View on Github →