Theorem Finset.finite_to_set

Modification history