Theorem generateFrom_pi_eq

Modification history