Theorem Set.eq_of_subset_of_subset

Modification history