Theorem Set.toFinset_insert

Modification history