Theorem to_dual_supₛ

Modification history