Theorem WeakDual.toStrongDual_apply

Modification history