Theorem AlgHom.IsArithFrobAt.card_pos

Modification history