Theorem AlgebraicGeometry.HasRingHomProperty.stalkwise

Modification history