Theorem Cardinal.mk_union_of_disjoint

Modification history