Theorem AlgebraicGeometry.Scheme.Pullback.t_snd

Modification history