BTP metrics are BAS under homogeneous universal-cover hypotheses
BTP-to-BAS conjecture. Under these assumptions, ggg must be BAS.
MathDB