Theorem Finset.List.toFinset_val

Modification history