OAI/NumberTheory/CubicMoment/Estimates/GramEmptyRows.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The empty common-divisor term consists exactly of the two signed full height masses; the prime coefficients are unchanged.

  1. lemma OAI.CubicFirstMoment.fullPrime_empty_divisor_mass line 14