OAI/NumberTheory/SingleFold/SquareSupport.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SingleFold.SquareSupport.squarefree_decomposition line 7
2. lemma OAI.SingleFold.SquareSupport.val_add_eq line 20
3. lemma OAI.SingleFold.SquareSupport.even_val_triple line 29
4. lemma OAI.SingleFold.SquareSupport.squarefree_support line 52
5. lemma OAI.SingleFold.SquareSupport.supported_decomposition line 77
6. lemma OAI.SingleFold.Descent.supported_zero line 92
7. lemma OAI.SingleFold.Descent.supported_five line 115
8. lemma OAI.SingleFold.Descent.classOf_mul_sq line 140
9. lemma OAI.SingleFold.Descent.alpha_zero_classes line 144