Theorem AddConstEquiv.toEquiv_injective

Modification history