dyunov
dyunov
Fixed in https://github.com/rschwiebert/RingApp/commit/bea83cf3a66e395c3f201a75239b6fb48878bc2d: ~~Noticed another pair of formatting problems on the $\Bbb Z[\sqrt{-5}]$ page (see "Reference(s):" and the width of the property name boxes). Might or might not be related...
And for $R_{135}, R_{138}$...
On Android:
I confirm that as of https://github.com/rschwiebert/RingApp/commit/bea83cf3a66e395c3f201a75239b6fb48878bc2d the second type of glitch in this issue does not occur anymore (unlike the original header one).
Could [this](https://networkx.org/documentation/stable/reference/algorithms/generated/networkx.algorithms.dag.transitive_reduction.html) help with 3)?