Theorem supₛ_range

Modification history