Theorem Pretrivialization.symm_trans_target_eq

Modification history