OAI/GameTheory/SnakyConditional/Regions/
876 declarations, 0 contain sorry, 0 declared as axioms; 4 files
Files
- Region557.lean 2 declarations
- Region595.lean 123 declarations
- Region603.lean 249 declarations
- Region615.lean 502 declarations