Theorem Set.forall_subset_range_iff

Modification history