Theorem induced_mono

Modification history