mathlib3
d08f7340 - chore(measure_theory/function/strongly_measurable): golf some proofs (#14209)

Commit

3 years ago

chore(measure_theory/function/strongly_measurable): golf some proofs (#14209)

Author

urkud

urkud

Parents

Loading