PR #1764 doc(*): correct bad markdown

doc(*): correct bad markdown #1764

mergify merged 4 commits into master from header-fix

Update bochner_integration.lean

c9e0d991

Update mean_value.lean

64e1806c

Update expr.lean

ae819e37

Update doc.md

ae60f513

sgouezel approved these changes on 2019-12-02

sgouezel added ready-to-merge

mergify merged 87929bf7 into master 6 years ago

mergify deleted the header-fix branch 6 years ago

Reviewers

sgouezel

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone