Def add_monoid_algebra.map_domain_ring_hom

Modification history