Theorem inducing_induced

Modification history