Theorem Set.union_assoc

Modification history