egorov): rename `uniform_integrability` file to `egorov` (#12402)

Commit

4 years ago

chore(measure_theory/function/egorov): rename `uniform_integrability` file to `egorov` (#12402)

Author

kex-y

Parents