ThmDex – An index of mathematical definitions, results, and conjectures.

ThmDex – An index of mathematical definitions, results, and conjectures.

Result R1219 on D1746: Simple integral

Simple integral is compatible with measure