Theorem infᵢ₂_le

Modification history