Theorem Finset.List.toFinset_coe

Modification history