Theorem AlgHom.map_fieldRange

Modification history