Commit 2026-03-24 09:50 623985f4

View on Github →

refactor(Analysis/Convex/Cone/InnerDual): remove duplicate proof of hyperplane separation (#37054)

  • Deprecate ConvexCone.hyperplane_separation_of_nonempty_of_isClosed_of_notMem in favour of ProperCone.hyperplane_separation', which has identical content.

Estimated changes