Theorem Inducing.codRestrict

Modification history