Popescu's higher-rank abelian Stark conjecture
Popescu's conjecture. Assuming Hypothesis StarkHhigher, one has
MathDB