Theorem induced_id

Modification history