Theorem Finset.finite_toSet

Modification history