OAI/Analysis/AncientFlat/Profile/SphereCore.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CompactCore.radialJet line 9
2. def OAI.CompactCore.correction line 12
3. def OAI.CompactCore.sphereLap line 14
4. def OAI.CompactCore.compactOp line 16
5. def OAI.CompactCore.flatOp line 19
6. def OAI.CompactCore.errorTwo line 21
7. def OAI.CompactCore.errorFour line 23