Theorem WeakDual.toStrongDual_inj

Modification history