OAI/Combinatorics/YoungDiagram/
27 declarations, 0 contain sorry, 0 declared as axioms; 7 files
Files
- Capacity.lean 3 declarations
- CapacityFloor.lean 2 declarations
- LargeCapacity.lean 5 declarations
- LiteralCapacity.lean 7 declarations
- Prefixes.lean 6 declarations
- RealCapacity.lean 1 declarations
- RealLargeCapacity.lean 3 declarations