fixes #1551 (move isMeasurable from simple_functions.v to measure.v)#1695
Merged
affeldt-aist merged 2 commits intomath-comp:masterfrom Aug 16, 2025
Merged
fixes #1551 (move `isMeasurable` from `simple_functions.v` to `measure.v`)#1695affeldt-aist merged 2 commits intomath-comp:masterfrom
affeldt-aist merged 2 commits intomath-comp:masterfrom
Commits
Commits on Aug 16, 2025
- committed
- committed
