Theorem Set.Intersecting.exists_card_eq

Modification history