RSK and leaf question

Top