Theorem MonoidAlgebra.mapRangeRingHom_comp_mapDomainRingHom

Modification history