Theorem Set.ssubset_def

Modification history