Theorem AlgebraicGeometry.affineAnd_isLocal_of_propertyIsLocal

Modification history

2025-01-20 16:09
Mathlib/AlgebraicGeometry/Morphisms/AffineAnd.lean
feat(AlgebraicGeometry): Formally unramified morphisms (#20603)
Added AlgebraicGeometry.affineAnd_isLocal_of_propertyIsLocalView on Github →