Theorem Inducing.isClosed_preimage

Modification history