Theorem YoungDiagram.mem_col_iff

Modification history