Def AlgebraicGeometry.IsClosedImmersion.overEquivIdealSheafData

Modification history