Commit 2022-10-23 16:03 083202d6
View on Github →feat(topology/algebra/module/locally_convex): generalize disjoint.exists_open_convexes to locally convex spaces (#16749)
feat(topology/algebra/module/locally_convex): generalize disjoint.exists_open_convexes to locally convex spaces (#16749)