Theorem List.Pairwise.iff_of_mem

Modification history