Theorem supᵢ₂_disjoint_iff

Modification history