Theorem IsRingHom.comp

Modification history