Theorem MonoidHom.coe_of_map_div

Modification history