Theorem Bundle.Trivial.trivialization_symm_apply

Modification history