Theorem ssubset_of_eq_of_ssubset

Modification history