Theorem denseRange_zsmul_iff_surjective

Modification history