Theorem StrongDual.polar_empty

Modification history