Theorem StrongDual.dualPairing_separatingLeft

Modification history