doc(*): correct bad markdown (#1764)

Commit

6 years ago

doc(*): correct bad markdown (#1764) * Update bochner_integration.lean * Update mean_value.lean * Update expr.lean * Update doc.md