APNOutputs/AICollaborator/AlgebraicGeometry/
635 declarations, 0 contain sorry, 0 declared as axioms; 7 files
Files
- hilbert_functions_1.lean 42 declarations
- hilbert_functions_2.lean 69 declarations
- hilbert_functions_3.lean 89 declarations
- hilbert_functions_4.lean 104 declarations
- hilbert_functions_5.lean 169 declarations
- hilbert_functions_7.lean 83 declarations
- hilbert_functions_8.lean 79 declarations