Theorem to_dual_infₛ

Modification history