Theorem Set.encard_union_eq

Modification history