OAI/Geometry/NodalSets/Waves/TripleSourceWaves.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.Yau.Geometry.SourceFrameTriple line 13
2. def OAI.Yau.Geometry.sourceTripleAlpha line 16
3. def OAI.Yau.Geometry.sourceTripleBeta line 20
4. structure OAI.Yau.Geometry.TripleSourceWaveData line 24
5. theorem OAI.Yau.Geometry.construct_triple_source_waves line 62