OAI/Analysis/AncientFlat/Energy/EnergyEquation.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ParametrixUniqueness.zeroth_energy_le line 11
2. lemma OAI.ParametrixUniqueness.pair_equation line 29
3. lemma OAI.ParametrixUniqueness.energy_rhs_le line 50