Theorem Monotone.union

Modification history