Theorem Subbimodule.smul_mem'

Modification history