Theorem Set.one_subset

Modification history