`OAI/Analysis/VlasovMaxwell/Maxwell/`

200 declarations, 0 contain sorry, 0 declared as axioms; 8 files

Files

DifferenceFieldEnergy.lean 38 declarations
ElectricBoundaryField.lean 18 declarations
ExtendedField.lean 13 declarations
FieldGradientNorm.lean 6 declarations
FiniteFlow.lean 9 declarations
Variational.lean 7 declarations
WaveGradient.lean 87 declarations
WaveK.lean 22 declarations