OAI/Combinatorics/Permanent/
58 declarations, 0 contain sorry, 0 declared as axioms; 5 files
Files
- Main.lean 8 declarations
- Model.lean 9 declarations
- Norm.lean 8 declarations
- Perturbation.lean 8 declarations
- Stability.lean 25 declarations