Commit 2026-10-16 13:16 673cf2a1

View on Github →

chore(Geometry/Manifold/VectorBundle/Hom): small tweaks (#44937) noticed while comparing with #43234

Estimated changes

added theorem chartAt_hom
deleted theorem hom_chart