Theorem csupᵢ_le

Modification history