Theorem ssubset_of_ssubset_of_eq

Modification history