Def AlgebraicGeometry.Scheme.kerFunctor

Modification history