Theorem List.Pairwise.set_pairwise

Modification history