mathlib
0dd60aeb - feat(algebraic_geometry): Schemes are sober. (#11040)

Commit

3 years ago

feat(algebraic_geometry): Schemes are sober. (#11040) Also renamed things in `topology/sober.lean`.

Author

erdOne

Parents