Theorem MulHom.coe_snd

Modification history