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

Initializing...

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