mathlib
bf7487b5 - fix(algebraic_geometry/Spec): inline TeX in heading (#3992)

Commit

5 years ago

fix(algebraic_geometry/Spec): inline TeX in heading (#3992)

References

#4925 - Make prime-avoidance branch build

Author

bryangingechen

bryangingechen

Parents

Loading