Theorem MonoidAlgebra.mapRangeRingHom_apply

Modification history