OAI/GameTheory/SnakyConditional/Opening/
423 declarations, 0 contain sorry, 0 declared as axioms; 1 files
Files
- Opening.lean 423 declarations
OAI/GameTheory/SnakyConditional/Opening/423 declarations, 0 contain sorry, 0 declared as axioms; 1 files