Theorem Specialization.isOpen_toEquiv_preimage

Modification history