Theorem YoungDiagram.row_eq_prod

Modification history