Theorem mul_csupᵢ_le

Modification history