OAI/Analysis/AncientFlat/Energy/
108 declarations, 0 contain sorry, 0 declared as axioms; 11 files
Files
- EnergyCoercive.lean 2 declarations
- EnergyEquation.lean 3 declarations
- EnergyGradient.lean 10 declarations
- EnergyGronwall.lean 1 declarations
- EnergyIBP.lean 23 declarations
- EnergyLaplacian.lean 6 declarations
- EnergyPrincipal.lean 5 declarations
- EnergyProducts.lean 9 declarations
- EnergyQuadratic.lean 11 declarations
- EnergyTime.lean 16 declarations
- EnergyWeight.lean 22 declarations