Theorem AlgHom.IsArithFrobAt.mk_apply

Modification history