Theorem induced_to_pi

Modification history