Theorem IsRingHom.map_sub

Modification history