Def AlgebraicGeometry.IsOpenImmersion.ΓIsoTop

Modification history

2024-07-14 17:46

Mathlib/AlgebraicGeometry/OpenImmersion.lean

feat(AlgebraicGeometry): add locally Noetherian and Noetherian schemes (#13972)

Added AlgebraicGeometry.IsOpenImmersion.ΓIsoTop View on Github →