Theorem Trivialization.toPretrivialization_injective

Modification history