Theorem MulHom.mclosure_preimage_le

Modification history