Theorem induced_top

Modification history