Definitionadvanced
Durfee square
The largest k by k square of boxes contained in a Ferrers diagram, used in partition identities.
The largest k by k square of boxes contained in a Ferrers diagram, used in partition identities.
About this page
The build computes these levels from the evidence in the repository. Each row says what the next level needs. Read what the levels mean.
| Ladder | Level | What the next level needs |
|---|---|---|
| Human proof | H0 no proof |
|
| Lean | L0 no Lean part |
|
| Visual | V0 none |
|
| Writing | W0 stub |
|
Tag CT6XJQ Edit this page History Report an error