Theorem Trivialization.symm_trans_source_eq

Modification history