Theorem to_dual_infᵢ

Modification history