Theorem StrongDual.toLpₗ_apply

Modification history