Def AlgebraicGeometry.PresheafedSpace.IsOpenImmersion.pullbackConeOfLeftFst

Modification history