Theorem StrongDual.polarSubmodule_eq_setOf

Modification history