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

Merge branch 'master' into affine_map_isaffinemap

46c8628
Select commit
Loading
Failed to load commit list.
Sign in for the full log view