OAI/NumberTheory/PiExponent/Ampleness/ReesProductPower.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.PiExponent.ReesProductPower.pieceEvaluation_mem_chartPower line 16
2. theorem OAI.PiExponent.ReesProductPower.chartPower_mem_pieceEvaluation line 65
3. def OAI.PiExponent.ReesProductPower.chartPowerMap line 106
4. theorem OAI.PiExponent.ReesProductPower.chartPowerMap_evaluation line 123
5. def OAI.PiExponent.ReesProductPower.chartPowerEquiv line 127