Theorem AlgebraicGeometry.IsLocalAtTarget.restrict

Modification history