mathlib
4709e615 - doc(*): bold a few more named theorems (#8252)

Login via GitHub
Home
Pricing
FAQ
Install

Login via GitHub

Commit

4 years ago

doc(*): bold a few more named theorems (#8252)

Author

hmonroe

hmonroe

Parents

FAQ Terms Privacy Refunds Impressum

Loading