Theorem Set.Finite.of_summable_const

Modification history