`OAI/Combinatorics/TriangleFace/`

26 declarations, 0 contain sorry, 0 declared as axioms; 6 files

Files

AffineMaps.lean 2 declarations
Faces.lean 8 declarations
Labels.lean 3 declarations
Main.lean 2 declarations
MatchingImage.lean 5 declarations
Model.lean 6 declarations