Theorem infₛ_empty

Modification history