Theorem StrongDual.polar_singleton

Modification history