OAI/NumberTheory/Jacobsthal/Siegel/InvariantJetMonomial.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.Erdos970.WeightedTorusJets.Geometry.invariantJet_monomial line 39
  2. theorem OAI.Erdos970.WeightedTorusJets.Geometry.rectangleJetIdeal_length_le line 89
  3. theorem OAI.Erdos970.WeightedTorusJets.Geometry.sum_pi_one line 123
  4. theorem OAI.Erdos970.WeightedTorusJets.Geometry.sum_pi_two line 130
  5. theorem OAI.Erdos970.WeightedTorusJets.Geometry.sum_pi_three line 149
  6. theorem OAI.Erdos970.WeightedTorusJets.Geometry.rectangularTaylorThree_selected_sum line 176
  7. theorem OAI.Erdos970.WeightedTorusJets.Geometry.rectangularTaylorThree_one_selected_sum line 217
  8. theorem OAI.Erdos970.WeightedTorusJets.Geometry.rectangularTaylorThree_two_selected_sum line 254
  9. theorem OAI.Erdos970.WeightedTorusJets.Geometry.exists_selected_taylor_ringHom line 294
  10. theorem OAI.Erdos970.WeightedTorusJets.Geometry.factorial_smul_quotient_monomial line 343
  11. theorem OAI.Erdos970.WeightedTorusJets.Geometry.exists_source_taylor_ringHom line 356
  12. theorem OAI.Erdos970.WeightedTorusJets.Geometry.exists_source_taylor_quotient_ringHom line 376