Theorem infₛ_range

Modification history