Theorem StrongDual.polarSubmodule_eq_polar

Modification history