Theorem AlgHom.IsArithFrobAt.comap_eq

Modification history