OAI/Combinatorics/Ryser/Geometry/
197 declarations, 0 contain sorry, 0 declared as axioms; 12 files
Files
- AffineJoins.lean 15 declarations
- Basic.lean 37 declarations
- Cardinality.lean 18 declarations
- Normalization.lean 8 declarations
- ProjectionMoments.lean 6 declarations
- ProjectionPair.lean 4 declarations
- ProjectiveJoins.lean 9 declarations
- ProjectiveTransformAffine.lean 32 declarations
- ProjectiveTransformBasic.lean 8 declarations
- ProjectiveTransformXY.lean 23 declarations
- ProjectiveTransformXZ.lean 24 declarations
- SliceEnergy.lean 13 declarations