Theorem Set.Intersecting.card_le

Modification history