convergence_in_measure): golf proof with Borel-Cantelli (#12551)

Commit

3 years ago

chore(measure_theory/function/convergence_in_measure): golf proof with Borel-Cantelli (#12551)

Author

kex-y

Parents