Theorem Set.finite_range_ite

Modification history