Skip to content

feat(Geometry/Convex/ConvexSpace): show that an AffineMap IsAffineMap#39437

Open
ooovi wants to merge 9 commits into
leanprover-community:masterfrom
ooovi:affine_map_isaffinemap
Open

feat(Geometry/Convex/ConvexSpace): show that an AffineMap IsAffineMap#39437
ooovi wants to merge 9 commits into
leanprover-community:masterfrom
ooovi:affine_map_isaffinemap

Commits

Commits on May 15, 2026

Commits on May 21, 2026

Commits on May 22, 2026

Commits on Jun 4, 2026