Theorem Set.lt_eq_ssubset

Modification history