Theorem Finset.List.toFinset_surjective

Modification history