Theorem infᵢ₂_mono'

Modification history