Theorem StrongDual.polar_univ

Modification history