OAI/Geometry/Arnold/
669 declarations, 0 contain sorry, 0 declared as axioms; 36 files
Files
- CompactField.lean 26 declarations
- Coordinates.lean 30 declarations
- CriticalLifts.lean 16 declarations
- Deformation.lean 13 declarations
- Degeneracy.lean 10 declarations
- Descent.lean 5 declarations
- Differentiation.lean 6 declarations
- Extension.lean 2 declarations
- Exterior.lean 10 declarations
- Factors.lean 23 declarations
- Field.lean 46 declarations
- FieldAlgebra.lean 15 declarations
- FixedCount.lean 11 declarations
- FixedPoints.lean 6 declarations
- Haar.lean 21 declarations
- Hamiltonian.lean 27 declarations
- Hessian.lean 14 declarations
- Homotopy.lean 11 declarations
- Involution.lean 13 declarations
- Kernel.lean 24 declarations
- Main.lean 1 declarations
- Midpoint.lean 22 declarations
- MidpointDerivative.lean 5 declarations
- MidpointGeometry.lean 11 declarations
- Model.lean 20 declarations
- Obstruction.lean 20 declarations
- Orbit.lean 37 declarations
- Parameter.lean 35 declarations
- Projective.lean 27 declarations
- Quotient.lean 7 declarations
- Rotation.lean 32 declarations
- Sphere.lean 24 declarations
- Symplectic.lean 16 declarations
- Tangent.lean 29 declarations
- ThreePoints.lean 36 declarations
- Volume.lean 18 declarations