OAI/NumberTheory/SiegelZeros/LocalAlgebra/LocalResidueTaylor.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SiegelZeros.W23.localResidueOnBase line 13
2. theorem OAI.SiegelZeros.W23.localResidueOnBase_unit line 17
3. theorem OAI.SiegelZeros.W23.localResidueOnBase_lift line 22
4. def OAI.SiegelZeros.W23.localResidueTaylorFactorization line 29
5. theorem OAI.SiegelZeros.W23.localizedRectangularJet_eq_residueTaylor line 41