Theorem Specialization.toEquiv_inj

Modification history