xT_lt (KFV §31: the chunk phase of the layout, a selection sort by Lemma 12 exchanges)

Initializing...

xT_lt (KFV §31: the chunk phase of the layout, a selection sort by Lemma 12 exchanges) · Prove2Me