Theorem Inducing.closure_eq_preimage_closure_image

Modification history