Theorem Con.infₛ_def

Modification history