Def Trivialization.toPretrivialization

Modification history