OAI/NumberTheory/PiExponent/Polynomials/WeightedMonomialMap.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.PiExponent.WeightedCompactification.affineMonomialMap line 16
2. def OAI.PiExponent.WeightedCompactification.homogeneousMonomialMap line 19
3. theorem OAI.PiExponent.WeightedCompactification.homogeneousMonomialMap_X line 24
4. theorem OAI.PiExponent.WeightedCompactification.homogeneousMonomialMap_homogeneous line 28
5. def OAI.PiExponent.WeightedCompactification.gradedMonomialMap line 38
6. def OAI.PiExponent.WeightedCompactification.monomialHomogeneousIdeal line 43
7. theorem OAI.PiExponent.WeightedCompactification.monomialHomogeneousIdeal_eq_ker line 47
8. theorem OAI.PiExponent.WeightedCompactification.homogeneousMonomialMap_formula line 52