Theorem supₛ_pair

Modification history