Commit 2026-03-02 21:29 5eb8f138

View on Github →

feat(LinearAlgebra/AffineSpace): iff lemma about the inverse of a homothety (#35837) Make it easier to rewrite

Estimated changes