Repository navigation

minor generalizations - #2161

Open

affeldt-aist wants to merge 3 commits into

math-comp:masterfrom

affeldt-aist:probability_20261102

Open

minor generalizations#2161
affeldt-aist wants to merge 3 commits into
math-comp:masterfrom
affeldt-aist:probability_20261102

Commits on Nov 9, 2026
- generalize expectation to extended real-valued RVs
  affeldt-aist
  committed
  c11f5b1
- fix
  affeldt-aist
  committed
  f78524a
- rm superfluous scopes
  affeldt-aist
  committed
  95cabd1