Theorem unionᵢ_Ioc_zsmul

Modification history