Theorem StrongDual.polar_nonempty

Modification history