mathlib
c4208d22 - chore(measure_theory): fix namespace in docstrings for docgen (#8671)

Commit

4 years ago

chore(measure_theory): fix namespace in docstrings for docgen (#8671)

Author

kex-y

kex-y

Parents

Loading