Theorem AlgebraicGeometry.stalkwise_respectsIso

Modification history