Theorem supᵢ_eq_bot

Modification history