Theorem supₛ_image2

Modification history