Theorem generateFrom_unionₛ

Modification history