Theorem Set.Subset.antisymm

Modification history