Def AlgebraicGeometry.PresheafedSpace.IsOpenImmersion.pullbackConeOfLeft

Modification history