Commit 2024-10-25 20:58 70b8abbc

View on Github →

feat(Measure/Dirac): extensionality of measures by singletons (#18232) Two simple lemmas useful for discrete probability.

Estimated changes