A Euclidean building given by its atlas carries a $\Delta_{\mathrm{mod}}$-direction assignment

Initializing...

A Euclidean building given by its atlas carries a $\Delta_{\mathrm{mod}}$-direction assignment · Prove2Me