Theorem Set.Subset.antisymm_iff

Modification history