Theorem Pretrivialization.toLocalEquiv_injective

Modification history