Theorem generateFrom_inter

Modification history