Theorem Pretrivialization.toPartialEquiv_injective

Modification history