mathlib
f3b380e4 - feat(algebraic_geometry): Prime spectrum is sober. (#10989)

Commit

3 years ago

feat(algebraic_geometry): Prime spectrum is sober. (#10989)

Author

erdOne

erdOne

Parents

Loading