OAI/Computability/MaxCut/Analysis/
18 declarations, 0 contain sorry, 0 declared as axioms; 2 files
Files
- CubeEquiv.lean 4 declarations
- CubePerm.lean 14 declarations
OAI/Computability/MaxCut/Analysis/18 declarations, 0 contain sorry, 0 declared as axioms; 2 files