OAI/NumberTheory/SiegelZeros/Structure/FinrankDegreePiecePosPrimeVariableNotMem.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SiegelZeros.WeightedTorusJets.Geometry.GradedQuotient.finrank_degreePiece_pos_of_prime_variable_not_mem line 19
2. theorem OAI.SiegelZeros.WeightedTorusJets.Geometry.GradedQuotient.hilbertPolynomial_ne_zero_of_prime_variable_not_mem line 29
3. theorem OAI.SiegelZeros.WeightedTorusJets.Geometry.GradedQuotient.projectiveDegree_pos_of_prime_variable_not_mem line 41
4. theorem OAI.SiegelZeros.WeightedTorusJets.Geometry.GradedQuotient.cone_projectiveDegree_pos line 53