OAI/NumberTheory/DirichletL/Energy/ZeroGrowthPhysicalReindex.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SevenEighths.CenteredMomentEnergyZeroGrowthPhysicalReindex.physical_mass_map line 20
2. def OAI.SevenEighths.CenteredMomentEnergyZeroGrowthPhysicalReindex.emptyEquiv line 61
3. def OAI.SevenEighths.CenteredMomentEnergyZeroGrowthPhysicalReindex.emptyBalanced line 66
4. lemma OAI.SevenEighths.CenteredMomentEnergyZeroGrowthPhysicalReindex.empty_balanced_mass line 70
5. lemma OAI.SevenEighths.CenteredMomentEnergyZeroGrowthPhysicalReindex.empty_balanced_volume line 76