Theorem AlgebraicGeometry.Scheme.Hom.continuous

Modification history

2023-07-03 16:14
Mathlib/AlgebraicGeometry/Scheme.lean
feat: port AlgebraicGeometry.Morphisms.QuasiCompact (#5642)
Added AlgebraicGeometry.Scheme.Hom.continuousView on Github →