Commit 2024-10-13 13:49 626e646a

View on Github →

feat(PMF): A few more lemmas (#17698) From LeanCamCombi

Estimated changes

added theorem PMF.map_ofFintype
added theorem PMF.toMeasure_map
modified theorem PMF.toMeasure_map_apply