Theorem AlgHom.map_det

Modification history