Theorem Finset.val_wcovBy_val

Modification history