Theorem WithBot.supᵢ_empty

Modification history