OAI/Analysis/C0Absorption/
838 declarations, 0 contain sorry, 0 declared as axioms; 34 files
Files
- Absorption.lean 15 declarations
- Aharoni.lean 27 declarations
- Angles.lean 33 declarations
- Blocks.lean 38 declarations
- Completion.lean 37 declarations
- Continuity.lean 10 declarations
- Coordinates.lean 57 declarations
- Core.lean 5 declarations
- Correction.lean 20 declarations
- Detection.lean 14 declarations
- Duality.lean 28 declarations
- Finite.lean 48 declarations
- FiniteShift.lean 13 declarations
- Frozen.lean 37 declarations
- Grid.lean 25 declarations
- Lists.lean 19 declarations
- LocalInverse.lean 2 declarations
- Localization.lean 32 declarations
- Main.lean 3 declarations
- Molecules.lean 34 declarations
- Norm.lean 23 declarations
- Onto.lean 12 declarations
- Operations.lean 30 declarations
- Operators.lean 28 declarations
- Pairings.lean 23 declarations
- Selection.lean 11 declarations
- Shift.lean 43 declarations
- Signs.lean 17 declarations
- Space.lean 17 declarations
- Supports.lean 8 declarations
- Tags.lean 33 declarations
- Tests.lean 49 declarations
- Triangular.lean 14 declarations
- Weights.lean 33 declarations