Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-01-28 08:38 bf347f9c

View on Github →

feat(algebraic_geometry): Fiber products of schemes (#10605)

Estimated changes