OAI/NumberTheory/PiExponent/Geometry/PolynomialProjectiveStructure.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.PiExponent.polynomialGradeZeroEquiv line 16
2. def OAI.PiExponent.polynomialProjectiveProjection line 28
3. instance OAI.PiExponent.(instance at line 32) line 32
4. instance OAI.PiExponent.(instance at line 36) line 36
5. instance OAI.PiExponent.polynomialProjectiveProjection_proper line 40