OAI/Analysis/AncientFlat/Energy/EnergyPrincipal.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ParametrixUniqueness.principal line 10
2. lemma OAI.ParametrixUniqueness.laplacian_smul_expand line 13
3. lemma OAI.ParametrixUniqueness.integral_coeff_pair line 22
4. lemma OAI.ParametrixUniqueness.principal_expand line 26
5. lemma OAI.ParametrixUniqueness.principal_lower_cross line 59