Theorem subset_of_eq_of_subset

Modification history