Theorem infᵢ_singleton

Modification history