Theorem infₛ_le_infₛ

Modification history