Theorem Con.supₛ_def

Modification history