Theorem RCLike.separate_convex_open_set

Modification history