Theorem Finset.Finset.val_le_iff_val_subset

Modification history