Theorem StrongDual.zero_mem_polar

Modification history