Theorem supᵢ_sigma

Modification history