Theorem supₛ_image'

Modification history