OAI/LinearAlgebra/MatrixFields/Parameters/
366 declarations, 0 contain sorry, 0 declared as axioms; 15 files
Files
- ComplementSums.lean 15 declarations
- GroupSelectionParameters.lean 22 declarations
- GroupStatisticComplement.lean 1 declarations
- JointOrdinaryPopulationSelection.lean 22 declarations
- JointPopulation.lean 23 declarations
- JointPopulationMixedCompatibility.lean 38 declarations
- NativeCapacity.lean 29 declarations
- ParametersCompatibility.lean 9 declarations
- ParametersContractions.lean 62 declarations
- ParametersHalfComplement.lean 12 declarations
- ParametersStageC.lean 2 declarations
- ParametersWeights.lean 66 declarations
- PopulationCounts.lean 20 declarations
- StageCCapacity.lean 21 declarations
- TerminalPopulations.lean 24 declarations