mathlib
d3703fe9
- doc(archive/100-theorems-list/9_area_of_a_circle): fix `×` (#12803)
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
3 years ago
doc(archive/100-theorems-list/9_area_of_a_circle): fix `×` (#12803) this file used to have the category theory `\cross` as opposed to `\x`
Author
ericrbg
Parents
f4e7f82a
Loading