Theorem measurable_edist

Modification history