Theorem AlgebraicGeometry.stalkwise_isLocalAtSource_of_respectsIso

Modification history