Theorem AlgebraicGeometry.Scheme.IsQuasiAffine.of_isImmersion

Modification history

2025-10-06 20:40
Mathlib/AlgebraicGeometry/QuasiAffine.lean
feat(AlgebraicGeometry): quasi-affine schemes (#30256)
Added AlgebraicGeometry.Scheme.IsQuasiAffine.of_isImmersionView on Github →