Theorem Set.ncard_union_le

Modification history