Theorem forall_sUnion

Modification history