Theorem MonoidAlgebra.mapDomainRingHom_id

Modification history