Theorem StrongDual.polar_zero

Modification history