mathlib
805bb2d2
- feat(algebraic_geometry/morphisms): Quasi-compact morphisms of schemes (#15436)
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
3 years ago
feat(algebraic_geometry/morphisms): Quasi-compact morphisms of schemes (#15436) Co-authored-by: Andrew Yang <36414270+erdOne@users.noreply.github.com>
Author
erdOne
Parents
594e8848
Loading
mathlib
805bb2d2 - feat(algebraic_geometry/morphisms): Quasi-compact morphisms of schemes (#15436)
