MeasureBase
This package is a lightweight version of MeasureTheory. It contains only the basic functionalities needed to define and use measures.
This package is a lightweight version of MeasureTheory. It contains only the basic functionalities needed to define and use measures.
MIT License