Theorem Finset.List.toFinset.ext_iff

Modification history