mathlib3
162413fa - fix(probability/notation): add missing spaces around operators in notation (#15862)

Commit

3 years ago

fix(probability/notation): add missing spaces around operators in notation (#15862) This ensures these operators are pretty-printed with spaces

Author

eric-wieser

Parents