Theorem List.Pairwise.filter_map

Modification history