OAI/NumberTheory/PiExponent/Geometry/PlaceParameterModel.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.PiExponent.PlaceParameterModel.parameterUnit line 14
2. theorem OAI.PiExponent.PlaceParameterModel.parameterUnit_order line 17
3. def OAI.PiExponent.PlaceParameterModel.parameter line 21
4. theorem OAI.PiExponent.PlaceParameterModel.parameter_nonzero line 24
5. theorem OAI.PiExponent.PlaceParameterModel.parameter_value line 27
6. theorem OAI.PiExponent.PlaceParameterModel.parameter_positive line 33
7. theorem OAI.PiExponent.PlaceParameterModel.parameter_transcendental line 38
8. def OAI.PiExponent.PlaceParameterModel.parameterCenterLocalRingEquiv line 54
9. def OAI.PiExponent.PlaceParameterModel.parameterCenterLocalAlgEquiv line 99