OAI/Analysis/Conductivity/Branching/AlignedEndingData.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ScalarConductivity.alignedEndingTensor_bounds line 12
2. lemma OAI.ScalarConductivity.permutedDilation_angularShift line 27
3. lemma OAI.ScalarConductivity.alignedEndingValue_angularPeriodic line 34
4. lemma OAI.ScalarConductivity.alignedEndingTensor_angularPeriodic line 41
5. theorem OAI.ScalarConductivity.aligned_positive_finite_ending line 48