mathlib

f8d5c649 - feat(topology/vector_bundle): use trivialization.symm to simplify the product of vector bundles (#14361)