Theorem AlgHom.IsArithFrobAt.localize_algebraMap

Modification history