Theorem Set.finite_range_const

Modification history