Theorem Bundle.Pretrivialization.Trivialization.symmₗ_apply

Modification history

2026-06-23 10:53
Mathlib/Topology/VectorBundle/Basic.lean
feat(Topology): generalise `Trivialization.symm` (#40903) …
Added Bundle.Pretrivialization.Trivialization.symmₗ_applyView on Github →