Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-08-16 01:42 9b298fea

View on Github →

feat(algebraic_geometry): Being quasi-compact is a local property. (#15995)

Estimated changes