`FormalConjecturesForMathlib/AlgebraicGeometry/`

24 declarations, 0 contain sorry, 0 declared as axioms; 7 files

Folders

EllipticCurve/ 5 files, 20 declarations

Files

ProjectiveSpace.lean 1 declarations
VectorBundle.lean 3 declarations