Theorem Set.Finite.exists_finset_coe

Modification history