mathlib
1dfb38d0
- doc(imo*,algebra/continued_fractions/computation): change \minus to - (#12338)
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
3 years ago
doc(imo*,algebra/continued_fractions/computation): change \minus to - (#12338) Change around 14 instances of a non-standard minus to `-`.
Author
kbuzzard
Parents
00a3d02e
Loading