Commit 2022-07-27 14:35 23c39818
View on Github →feat(analysis/convex/cone): add inner_dual_cone_eq_Inter_inner_dual_cone_singleton (#15639) Proof that a dual cone equals the intersection of dual cones of singleton sets. Part of #15637
feat(analysis/convex/cone): add inner_dual_cone_eq_Inter_inner_dual_cone_singleton (#15639) Proof that a dual cone equals the intersection of dual cones of singleton sets. Part of #15637