Theorem Pretrivialization.symm_trans_source_eq

Modification history