Theorem generateFrom_union

Modification history