OAI/NumberTheory/PiExponent/Jets/TransverseWeightedMultiplicity.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.PiExponent.TransverseWeightedMultiplicity.eventually_uniform_rectangularCutoff_two_le line 12
2. theorem OAI.PiExponent.TransverseWeightedMultiplicity.rectangularCutoff_budget line 30
3. theorem OAI.PiExponent.TransverseWeightedMultiplicity.rectangular_weight_product_comparison line 42
4. theorem OAI.PiExponent.TransverseWeightedMultiplicity.weight_comparison_of_rectangular_count line 61
5. theorem OAI.PiExponent.TransverseWeightedMultiplicity.rectangular_comparison_le_separation_constant line 74