[Merged by Bors] - chore(Topology/FiberBundle/Trivialisation): more simp lemmas#35978

grunweg wants to merge 3 commits into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

grunweg:moresimpgrunweg/mathlib4:moresimpCopy head branch name to clipboard