Theorem MonoidAlgebra.mapRangeRingHom_id

Modification history