Commit 2023-11-10 19:51 ad65c15d

View on Github →

chore: Golf AffineSubspace.convex (#8322)

Estimated changes

modified theorem AffineSubspace.convex