Theorem StrongDual.mem_polar_iff

Modification history