Theorem DistribMulActionHom.ext_ring

Modification history