Theorem Set.ncard_union_eq

Modification history