Theorem StrongDual.mem_polarSubmodule

Modification history