Theorem IsUpperSet.union

Modification history