OAI/Analysis/Conductivity/Scalarization/
90 declarations, 0 contain sorry, 0 declared as axioms; 22 files
Files
- ApproxScalar.lean 3 declarations
- AttachedSplicedConstitution.lean 5 declarations
- CascadeConnectorConstitution.lean 5 declarations
- CascadeConstitution.lean 4 declarations
- ConcreteFluxH1Scalarization.lean 2 declarations
- ConcreteFluxScalarization.lean 4 declarations
- DefectMeasure.lean 1 declarations
- DenseClosureApprox.lean 5 declarations
- EndingJoinConstitution.lean 4 declarations
- FineScalarSequence.lean 5 declarations
- GeneralModeEndingScalarization.lean 4 declarations
- LocalConstitution.lean 6 declarations
- OriginalScalarizationCauchy.lean 2 declarations
- PhysicalScalarization.lean 1 declarations
- ScalarRelationLpStrongClosed.lean 1 declarations
- ScalarRelationStrongClosed.lean 5 declarations
- ScalarizationAffineLimit.lean 3 declarations
- SmoothScalarAlgebra.lean 6 declarations
- UniformMatrixScalarization.lean 2 declarations
- UpdateFieldPair.lean 9 declarations
- WeakCellFast.lean 8 declarations
- WeakDensityLp.lean 5 declarations