Repository navigation

measure induced by a measurable function - #2124

Merged

affeldt-aist merged 2 commits into

math-comp:masterfrom

affeldt-aist:integral_20261009

Oct 16, 2026

Merged

measure induced by a measurable function#2124
affeldt-aist merged 2 commits into
math-comp:masterfrom
affeldt-aist:integral_20261009

Commits on Oct 16, 2026
- measure induced by a measurable function
  
  affeldt-aist
  and
  lyonel2017
  committed
  9bd8954
- addressing comments
  affeldt-aist
  committed
  ae58599