mathlib

ec07293a - doc(*): add bold in doc strings for named theorems i.e. **mean value theorem** (#8182)