OAI/NumberTheory/PiExponent/Approximation/WeightSeparationConstant.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.PiExponentApprox.multiplicity_constant_le_coarse line 11
2. theorem OAI.PiExponentApprox.dimension_power_le_enlarged line 28
3. theorem OAI.PiExponentApprox.rectangular_multiplicity_constant_le_enlarged line 37
4. theorem OAI.PiExponentApprox.multiplicity_constant_le_enlarged line 56