Theorem Set.Finite.toFinset_insert'

Modification history