Theorem LocallyConvexSpace.convex_open_basis_zero

Modification history