mathlib3
16eb4af7 - doc(algebraic_geometry/structure_sheaf): fix latex (#6262)

Commit
4 years ago
doc(algebraic_geometry/structure_sheaf): fix latex (#6262) This is broken regardless of the markdown processor: <https://leanprover-community.github.io/mathlib_docs/algebraic_geometry/structure_sheaf.html#algebraic_geometry.structure_sheaf.is_locally_fraction>
Author
Parents
Loading