Theorem AlgebraicGeometry.IsLocalAtSource.of_isOpenImmersion

Modification history