Theorem infₛ_div

Modification history