Theorem Set.toFinset_Icc

Modification history