Inductive List.Pairwise

Modification history