Theorem supᵢ_le

Modification history