Skip to content

refactor(Probability/Distributions/Uniform): change uniformOfFinset and ofMultiset from PMF to Measure - #42909

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

refactor(Probability/Distributions/Uniform): change uniformOfFinset and ofMultiset from PMF to Measure#42909
EtienneC30 wants to merge 1 commit into
leanprover-community:masterfrom
EtienneC30:uniformOf

Commits

Commits on Aug 18, 2026