Theorem supₛ_disjoint_iff

Modification history