Theorem Finset.Finset.pairwise_cons

Modification history