Library UniMath.AlgebraicGeometry.All